Using linear programming in Petri net analysis
RAIRO - Operations Research - Recherche Opérationnelle, Tome 23 (1989) no. 1, pp. 43-50.
@article{RO_1989__23_1_43_0,
     author = {Lasserre, Jean B. and Mahey, Philippe},
     title = {Using linear programming in {Petri} net analysis},
     journal = {RAIRO - Operations Research - Recherche Op\'erationnelle},
     pages = {43--50},
     publisher = {EDP-Sciences},
     volume = {23},
     number = {1},
     year = {1989},
     mrnumber = {991712},
     zbl = {0672.90106},
     language = {en},
     url = {http://archive.numdam.org/item/RO_1989__23_1_43_0/}
}
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
SP  - 43
EP  - 50
VL  - 23
IS  - 1
PB  - EDP-Sciences
UR  - http://archive.numdam.org/item/RO_1989__23_1_43_0/
LA  - en
ID  - RO_1989__23_1_43_0
ER  - 
%0 Journal Article
%A Lasserre, Jean B.
%A Mahey, Philippe
%T Using linear programming in Petri net analysis
%J RAIRO - Operations Research - Recherche Opérationnelle
%D 1989
%P 43-50
%V 23
%N 1
%I EDP-Sciences
%U http://archive.numdam.org/item/RO_1989__23_1_43_0/
%G en
%F RO_1989__23_1_43_0
Lasserre, Jean B.; Mahey, Philippe. Using linear programming in Petri net analysis. RAIRO - Operations Research - Recherche Opérationnelle, Tome 23 (1989) no. 1, pp. 43-50. http://archive.numdam.org/item/RO_1989__23_1_43_0/

[1] G. Berthelot and G. Roucairol, Reduction of Petri Nets, Lecture Notes in Computer Science, vol. 45, 1976, pp. 202-209. | Zbl

[2] G. W. Brams, Réseaux de Petri: théorie et pratique, Masson, 1983. | Zbl

[3] J. B. Lasserre, Consistency of Linear System of Inequalities, JOTA, vol. 49, N° 1, 1986, pp. 177-179. | MR | Zbl

[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. | MR | Zbl

[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] 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. | MR | Zbl

[7] J. L. Peterson, Petri Net Theory and the Modelling of Systems, Prentice Hall, 1981. | MR | Zbl

[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] M. Simmonnard, Programmation linéaire, Dunod 1962. | MR | Zbl