Abstract
This paper is an introdurction into linear algebraic techniques for place/transition nets. Based on a linear representation of processes S- and T-invariants are introduced. S- and T-invariants are both, solutions of linear homogeneous equation systems and subnets with special properties.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
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
Best, E.; Fernandez, C.: Notations and Terminology on Pétri Net Theory, Gesellschaft für Mathematik und Datenverarbeitung, Arbeitspapiere der GMD No. 195, 1986
Commoner, F.; Holt, A.; Even, S.; Pnueli A.: Marked Directed Graphs, JCSS, Vol. 5, 511–523, 1971
Gale, D.: The Theory of Linear Economic Models, Mc Graw-Hill, NY, Toronto, London, 1960
Genrich, H. J.; Lautenbach, K.: Synchronisationsgraphen, Acta Informatica, Vol. 2, 143–161, 1973 (in German)
Genrich, H. J.; Lautenbach, K.; Thiagarajan, P. S.: Elements of Genral Net Theory, In: Net Theory and Applications, Brauer ed., Springer LNCS 84, 1980
Hack, M. H. T.: Analysis of Production Schemata by Petri Nets, MIT Project MAC, TR 94, 1973
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)
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)
Lautenbach, K.: Liveness in Petri Nets, Gesellschaft für Mathematik und Datenverarbeitung, GMD-ISF Internal Report 02. 1/75-7-29, 1975
Memmi, G.; Roucairol, G.: Linear Algebra in Net Theory, In: Net Theory and Applications, Brauer ed., Springer LNCS 84, 1980
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
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)
Reisig, W.: Petri Nets, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, 1985
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lautenbach, K. (1987). Linear Algebraic Techniques for Place/Transition Nets. In: Brauer, W., Reisig, W., Rozenberg, G. (eds) Petri Nets: Central Models and Their Properties. ACPN 1986. Lecture Notes in Computer Science, vol 254. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-47919-2_7
Download citation
DOI: https://doi.org/10.1007/978-3-540-47919-2_7
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-17905-4
Online ISBN: 978-3-540-47919-2
eBook Packages: Springer Book Archive