Abstract
Commutative nets are a subclass of colored nets whose color functions belong to a ring of commutative diagonalizable endomorphisms. Although their ability to describe models is smaller than that of colored nets, they can handle a broad range of concurrent systems. Commutative nets include net subclasses such as regular homogeneous nets and ordered nets, whose practical importance has already been shown.
Mathematical properties of the color functions of commutative nets allow a symbolic computation of a family of generators of flows. The method proposed decreases the number of non-null elements in a given color function matrix, without adding new columns. By iteration, the entire matrix is annulled and a generative family of flows is obtained. The interpretation of the invariants associated with each flow is straightforward.
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
H.Alla, P.Ladet, J. Martinez, M. Silva. Modelling and validation of complex systems by coloured Petri nets. Advances in Petri nets 1984. L.N.C.S. 188,Springer-Verlag, pp.15–31
T.S.Blyth, E.F.Robertson. Linear Algebra (Vol. 4). Chapman and Hall. London.
N.Bourbaki. Algèbre (Chapitres 4 à 7). Masson. Paris.
G.W.Brams. Réseaux de Petri:théorie et pratique. Masson. Paris (Chambalad 72) L.Chambalad. Algèbre multilinaire. Dunod. Paris
H.J.Genrich.Equivalence transformations of PrT-Nets. 9th European Workshop on Application and Theory of Petri Nets. Vol. II. Venice (Italy). June. pp. 229–248
H.J.Genrich, K.Lautenbach.S-invariance in predicate transition nets.Informatik Fachberichte 66: Application and Theory of Petri Nets. A.Pagnoni,G.Rozenberg (eds.). Springer-Verlag. pp. 98–111
K.Jensen. Coloured Petri nets and the invariant method. Theoretical Computer Science 14. North Holland Publ. Co. pp.317–336
S.Haddad. Une catégorie régulière de réseau de Petri de haut niveau: définition, propietés et reductions. Application à la validation des systèmes distribués. Ph.D. University Paris VI. June.
S.Haddad, J.M.Couvreur. Towards a general and powerful computation of flows for parametrized coloured nets. 9th European Workshop on Application and Theory of Petri Nets. Vol. II. Venice (Italy). June.
W.Reisig. Petri nets. EATCS Monographs on Theoretical Computer Science, Vol. 4. Springer Publ. Co.
M.Silva. Las redes de Petri en la automâtica y la informe tica. Ed. AC. Madrid.
M.Silva, J.MartInez, P.Ladet, H.Alla. Generalized inverses and the calculation of invariants for coloured Petri nets. Technique et science informatique. Vol.4 n21, pp. 113–126
J.Vautherin, G.Memmi. Computation of flows for unary predicates transition nets. Advances in Petri nets 1984. L.N.C.S. 188,Springer-Verlag. pp.455–467
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Couvreur, J.M., Martínez, J. (1991). Linear Invariants in Commutative High Level Nets. In: Jensen, K., Rozenberg, G. (eds) High-level Petri Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-84524-6_9
Download citation
DOI: https://doi.org/10.1007/978-3-642-84524-6_9
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54125-7
Online ISBN: 978-3-642-84524-6
eBook Packages: Springer Book Archive