Linear algebraic techniques for place/Transition nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 254 LNCS, Issue , 1987, Pages 142-167

  Lautenbach, Kurt ^a,b  

^a UNIVERSITY OF BONN   (Germany)

^b FRAUNHOFER INSTITUTE FOR APPLIED INFORMATION TECHNOLOGY FIT   (Germany)

Author keywords

Linear invariants; Petri nets; Place transition nets; S and T invariants

Indexed keywords

ALGEBRA;

HOMOGENEOUS EQUATIONS; LINEAR INVARIANTS; LINEAR REPRESENTATION; LINEAR-ALGEBRAIC; PLACE/TRANSITION NETS; SPECIAL PROPERTIES; SUBNETS; T-INVARIANT;

PETRI NETS;

EID: 85034825410     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-47919-2_7     Document Type: Conference Paper

References (14)

1. Alaiwan, H.; Toudic, J. M.: Recherche des semi-flots, des verrous et des trappes dans le réseaux de Pétri, Technique et Science Informatiques, Vol. 4, 103–112, 1985
2. MATHBest, E.; Fernandez, C.: Notations and Terminology on Pétri Net Theory, Gesellschaft für Mathematik und Datenverarbeitung, Arbeitspapiere der GMD No. 195, 1986
3. Commoner, F.; Holt, A.; Even, S.; Pnueli A.: Marked Directed Graphs, JCSS, Vol. 5, 511–523, 1971
4. MATHGale, D.: The Theory of Linear Economic Models, Mc Graw-Hill, NY, Toronto, London, 1960
5. Genrich, H. J.; Lautenbach, K.: Synchronisationsgraphen, Acta Informatica, Vol. 2, 143–161, 1973 (in German)
6. Genrich, H. J.; Lautenbach, K.; Thiagarajan, P. S.: Elements of Genral Net Theory, In: Net Theory and Applications, Brauer ed., Springer LNCS 84, 1980
7. Hack, M. H. T.: Analysis of Production Schemata by Petri Nets, MIT Project MAC, TR 94, 1973
8. Jaxy, M.: Analyse linearer diophantischer Ungleichungs-und Gleichungssysteme im Hinblick auf Anwendungen in der Theorie der Petri-Netze, Diplomarbeit, Universität Bonn, 1985, (in German)
9. Lautenbach, K.: Exakte Bedingungen der Lebendigkeit für eine Klasse von Petri-Netzen, Gesellschaft für Mathematik und Datenverarbeitung, GMD-Report No. 82, 1973, (in German)
10. Lautenbach, K.: Liveness in Petri Nets, Gesellschaft für Mathematik und Datenverarbeitung, GMD-ISF Internal Report 02. 1/75-7-29, 1975
11. Memmi, G.; Roucairol, G.: Linear Algebra in Net Theory, In: Net Theory and Applications, Brauer ed., Springer LNCS 84, 1980
12. Martinez, J.; Silva, M.: A Simple and Fast Algorithm to Obtain All Invariants of a Generalized Petri Net, In: Application and Theory of Petri Nets, Girault, Reisig eds., Springer Informatik-Fachberichte No. 52, 1982
13. Pascoletti, K. -H.: Diopantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri Netzen, GMD-Bericht Nr. 160, Oldenbourg Verlag, München, Wien, 1986 (in German)
14. Reisig, W.: Petri Nets, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985