Using linear programming in Petri net analysis

Jean B. Lasserre; Philippe Mahey

RAIRO - Operations Research - Recherche Opérationnelle (1989)

  • Volume: 23, Issue: 1, page 43-50
  • ISSN: 0399-0559

How to cite

top

Lasserre, Jean B., and Mahey, Philippe. "Using linear programming in Petri net analysis." RAIRO - Operations Research - Recherche Opérationnelle 23.1 (1989): 43-50. <http://eudml.org/doc/104952>.

@article{Lasserre1989,
author = {Lasserre, Jean B., Mahey, Philippe},
journal = {RAIRO - Operations Research - Recherche Opérationnelle},
keywords = {algebraic representation of polyhedral sets; Petri nets; linear system of inequalities},
language = {eng},
number = {1},
pages = {43-50},
publisher = {EDP-Sciences},
title = {Using linear programming in Petri net analysis},
url = {http://eudml.org/doc/104952},
volume = {23},
year = {1989},
}

TY - JOUR
AU - Lasserre, Jean B.
AU - Mahey, Philippe
TI - Using linear programming in Petri net analysis
JO - RAIRO - Operations Research - Recherche Opérationnelle
PY - 1989
PB - EDP-Sciences
VL - 23
IS - 1
SP - 43
EP - 50
LA - eng
KW - algebraic representation of polyhedral sets; Petri nets; linear system of inequalities
UR - http://eudml.org/doc/104952
ER -

References

top
  1. [1] G. BERTHELOT and G. ROUCAIROL, Reduction of Petri Nets, Lecture Notes in Computer Science, vol. 45, 1976, pp. 202-209. Zbl0368.94035
  2. [2] G. W. BRAMS, Réseaux de Petri: théorie et pratique, Masson, 1983. Zbl0501.68027
  3. [3] J. B. LASSERRE, Consistency of Linear System of Inequalities, JOTA, vol. 49, N° 1, 1986, pp. 177-179. Zbl0571.65049MR843488
  4. [4] K. LAUTENBACH and H. SCHMID, Use of Petri Nets for Proving Correctness of Concurrent Process Systems, Proc. 1974 I.F.I.P. Congress, North Holland, 1974, pp. 187-191. Zbl0299.68006MR441564
  5. [5] G. MEMMI, Applications of the Semiflow Notion to the Bound Dedness and Liveness Problems in Petri Net Theory, Proc. 1978 Conf. on Information Sciences and Systems, John Hopkins University, 1978, pp. 505-509. 
  6. [6] T. MURATA, State Equations, Controllability and Maximal Matchings of Petri Nets, I.E.E.E. Trans. Automatic Control, AC-22, 3, 1977, pp. 412-416. Zbl0354.93010MR456658
  7. [7] J. L. PETERSON, Petri Net Theory and the Modelling of Systems, Prentice Hall, 1981. Zbl0461.68059MR610984
  8. [8] B. PRADIN, Un outil graphique interactif pour la vérification des systèmes à évolutions parallèles décrits par réseaux de Petri, Docteur-Ingénieur Thesis, Université Paul-Sabatier, Toulouse, 1979. 
  9. [9] M. SIMMONNARD, Programmation linéaire, Dunod 1962. Zbl0115.37902MR138505

NotesEmbed ?

top

You must be logged in to post comments.

To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.

Only the controls for the widget will be shown in your chosen language. Notes will be shown in their authored language.

Tells the widget how many notes to show per page. You can cycle through additional notes using the next and previous controls.

    
                

                
Note: Best practice suggests putting the JavaScript code just before the closing </body> tag.