Abstract
A computationally feasible procedure for the generation of all invariants satisfying a given homogenous linear Diophantine system Cx=0 is presented, where C is the flow matrix of an associated P/T net. The computation will be considered on five levels. In order to generate all invariants the introduction of some new concepts (ℚ-generators, IN-generators) is required. Using geometrical aspects a short description of the new concepts with a new algorithm is shown. The efficiency of our methods is demonstrated by an application.
This is a preview of subscription content, log in via an institution.
Preview
Unable to display preview. Download preview PDF.
References
Alaiwan, H.; Memmi, G.: Algorithmes de recherche des solutions entiers positives d'un système linéaires homogènes. Revue Technique Thompson-CSF, 14 (1) mars 1982, pp 125–135
Alaiwan, H.; Toudic J.M.: Recherche de semiflots, des verrous et des trappes dans les réseaux de Pétri. T.S.I. — Technique et Sciences Informatiques, Vol. 4, n o 1, 1985, pp 103–112
Best, E.; Férnandez, C.: Notations and Terminology on Petri Net Theory. Arbeitspapiere der GMD 195, 1986
Bradley, G.H.: Algorithms for Hermite and Smith Normal Matrices and Linear Diophantine Equations. Math. Comp., Vol 25, 1971, pp 897–907
Brams, G.W.: Réseaux de Pétri: Theorie et Practique. Masson, Paris, 1983
Burger, E.: Über homogene lineare Ungleichungssysteme. Zeitschrift für angewandte Mathematik und Mechanik, Bd. 36, 1956, pp 135–139
Fiorot, J.Ch.; Gondran, M.: Résolution des systèmes linéaires en nombres entiers. E.D.F. — Bulletin de la Direction des Études et Recherches, Séries C — Mathématiques, Informatique No 2, 1969, pp 65–116
Fiorot, J.Ch.: Generation of All Integer Points for Given Sets of Linear Inequalities. Math. Programming, Vol 3, 1972, pp 276–295
Fischer, G.: Lineare Algebra. Rowohlt 1975
Frumkin, M.A.: Polynomial Time Algorithms in the Theory of Linear Diophantine Equations. In: M. Karpinski (ed): Fundamentals of Computation Theory Lecture Notes in Computer Science 56, Springer, Berlin 1977, pp 386–392
Gale, D.: The Theory of Linear Economics Models. McGraw Hill, New York, 1960
Genrich, H.J.; Lautenbach, K: System modelling with high Level Petri nets. NorthHolland Pub. Co., Theoretical Computer Science 13, 1981, pp 109–136
Genrich, H.J.; Lautenbach, K: S-Invariance in predicate/transition nets. Proc. 3-th European Workshop on Application and Theory of Petri nets, Varenna, Italy, 1982
Hermite, C.: Sur l'introduction des variables continues dans la theorie des nombres. J. Reine Angew. Math., Vol 41, 1851, pp 191–216
Jaxy, M.: Analyse linearer diophantischer Ungleichungs-und Gleichungssysteme im Hinblick auf Anwendungen in der Theorie der Petri-Netze. Universität Bonn, Diplomarbeit (In German), 1985
Jaxy, M.: GMD-Studien (In preparation), St. Augustin 1986
Jensen, K.: Coloured Petri Nets and the Invariants Method. Theoretical Computer Science 14, North Holland Pub. Co., 1981, pp 317–336
Jensen, K.: How to Find Invariants for Coloured Petri Nets. Mathematical Foundations of Computer Science, Lecture Notes in Computer Science 118, Springer-Verlag, Berlin, 1981
Kannan, R.; Bachem, A.: Polynomial Algorithms for Computing the Smith and Hermite Normal Forms of an Integer Matrix. SIAM J. Comp., Vol 8, 1979, pp 499–507
Li, Xinzhi: Ein algebraisches Modell zur Petri-Netztheorie. Universität Bonn, Diplomarbeit (In German), 1986
Lautenbach, K.; Schmid H.A.: Use of Petri Nets for Proving Correctness of Concurrent Process Systems. IFIP 74, North Holland Pub. Co., 1974, pp 187–191
Martinez, J.; Silva, M.: 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 Nr. 52, Springer, 1982
McClellen, M.T.: J. Assoc. Comput. Mach. 20 (1973), 563
Memmi G.: Linear Algebra in Net Theory. In Brauer W. (ed): Net Theory and Applications. Lecture Notes in Computer Science 84, Springer-Verlag, Berlin, 1980
Minkowski, H.: Geometrie der Zahlen. B.G. Teubner, Leipzig, 1898 and 1910
Motzkin, T.S.; Raiffa, H.; Thompson, G.L.; Thrall, R.M. The Double Description Method. In: Contribution to the Theory of Games, Vol. II. Princeton University Press, New Jersey, 1953
Newman, M.: Integral Matrices, Academic Press, New York 1972
Pascoletti, K.H.: Diophantische Systeme und Lösungsmethoden zur Bestimmung aller Invarianten in Petri-Netzen. Berichte der GMD Nr. 160, Bonn, 1986
Reisig, W.: Petrinetze — Eine Einführung. (2. Aufl.) Springer, 1986
Reisig, W.: Petri Nets with individual tokens. North Holland Pub. Co., Theoretical Computer Science 41, 1985, pp 185–213
Silva, M.; Martinez J.; Ladet, P.; Alla, H.: Generalized inverses and the calculation of symbolic invariants for coloured Petri nets. T.S.I. — Technique et Science Informatiques, Vol. 4, n o 1, 1985, pp 113–126
Smith, H.J.S.: On Systems of Indeterminate Equations and Congruences. Philos. Trans., Vol 151, 1861, pp 293–326
Toudic, J.M.: Algorithmes d'algèbre linéaire pour l'analyse structurelle des réseaux de Pétri. Revue Technique Thomson — CSF — Vol. 14 (1982), pp 137–155
Vautherin, J.; Memmi, G.: Computation of flows for unary predicate transition nets. In Rozenberg, G. (ed) Advances in Petri Nets, Lecture Notes in Computer Science 188, Springer 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Krückeberg, F., Jaxy, M. (1987). Mathematical methods for calculating invariants in Petri nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1987. APN 1986. Lecture Notes in Computer Science, vol 266. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-18086-9_22
Download citation
DOI: https://doi.org/10.1007/3-540-18086-9_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-18086-9
Online ISBN: 978-3-540-47743-3
eBook Packages: Springer Book Archive