Abstract
After a linear algebraic characterization of the minimal support invariant concept, it is proposed a very efficient algorithm to calculate all the minimal support invariants of Generalised and Capacity Petri Nets.
Finally,it is presented a graphycal interpretation of the algorithm execution process. It may be considered as a reduction rule that non preserves liveness.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Agerwala T.: Putting Petri Nets to Work. Computer, December, pp. 85–94.
Andre C., Armand P., Boeri F. Synchronic relations and applications in parallel computation. Digital Process. Vol.5, n°2, pp. 99–113.
Berthomieu B.: Analyse structurelle des réseaux de Pétri, Méthodes et outils. Thèse Doc. Ing., Univ. Paul Saba-tier, Toulouse, Septembre.
Jensen K.: How to find invariants for Colored Petri Nets. DAIMI PB-120 Computer Science Departament, Aarhus University, May, pp. 1–20.
Lautenbach K., Schmid H.A.: Use of Petri Nets for proving correctness of concurrent process systems. IFIP 74 North Holland Pub. Co., pp. 187–191.
Lien Y.E.: A Note on Transition Systems. J. Information Science, vol. 10, n°4, June, pp. 251–265.
Memmi G., Roucairol G.: Linear algebra in net theory. Advanced Course on General Net Theory of Process and Systems. Hamburg, October. Lecture Notes in Computer Science, n°84, Springer Verlag, pp. 213–223.
Peterson J.L.: Petri Nets. Computing Surveys, Vol. 9, n°3, September, pp. 223–251.
Sifakis J.: Structural properties of Petri Nets. Mathematical Foundations of Computer Science, J. Winkowski Ed., Springer Verlag, pp. 474–483.
SILV 8l] Silva M.: Las Redes de Petri en la Automâtica y la Informâtica Editorial AC, Madrid, in press.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1982 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Martínez, J., Silva, M. (1982). A simple and Fast Algorithm to Obtain all Invariants of a Generalised Petri Net. In: Girault, C., Reisig, W. (eds) Application and Theory of Petri Nets. Informatik-Fachberichte, vol 52. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-68353-4_47
Download citation
DOI: https://doi.org/10.1007/978-3-642-68353-4_47
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-11189-4
Online ISBN: 978-3-642-68353-4
eBook Packages: Springer Book Archive