Siphons, traps and high-level nets with infinite color domains

  • Karsten Schmidt
Regular Papers
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1248)


Commoner's Theorem establishes a relation between siphons, traps and liveness in free choice systems. Most proofs of this theorem do explicitly involve the finiteness of the net. Therefore we cannot apply the theorem directly to high level nets with infinite color domains.

We prove generalisations of both the “if” and the “only if” direction to the infinite case which unfortunately cannot be combined to an “iff” statement. We present examples which show that there are both live and non-live nets in the grey zone left by our generalisations. Our approach enlarges the application area of Commoner's theorem to infinite Petri nets, compared with an earlier generalisation to a class of free choice predicate event systems, but does not cover the other approach completely.


THEORY: Analysis and synthesis structure and behaviour of nets Higher-level net models 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [BCD95]
    K. Barkaoui, J. M. Couvreur, and C. Dutheillet. On liveness in extended non self-controlling nets. Proc. of the 16th Int. Conf. on Application and Theory of Petri nets, pages 25–44, 1995.Google Scholar
  2. [BDH93]
    K. Barkaoui, C. Dutheillet, and S. Haddad. An efficient algorithm for finding structural deadlocks in colored Petri nets. Proc. of 14th Intern. Conf. on Application and Theory of Petri nets, Chicago, pages 69–88, 1993.Google Scholar
  3. [CM91]
    J.M. Couvreur and J. Martinez. Linear invariants in commutative high level nets. High-level Petri nets, Theory and Application, 1991.Google Scholar
  4. [Com72]
    F. Commoner. Deadlocks in Petri nets. Technical report, Applied Data Research Inc. Wakefield, Massachussetts, 1972.Google Scholar
  5. [DE95]
    J. Desel and J. Esparza. Free Choice Petri Nets. Cambridge Tracks in Theoretical Computer Science 40, 1995.Google Scholar
  6. [ECS93]
    J. Espeleta, J.M. Couvreur, and M. Silva. A new technique for finding a generating family of siphons, traps and st-components. application to colored Petri nets. Advances in Petri nets, pages 126–147, 1993.Google Scholar
  7. [Hac72]
    M.H.T. Hack. Analysis of production schemata by Petri nets. Master's thesis, MIT, 1972.Google Scholar
  8. [Jen81]
    K. Jensen. How to find invariants for coloured Petri nets. Lecture Notes In Computer Science, 118:327–338, 1981.Google Scholar
  9. [Lau87]
    K. Lautenbach. Linear algebraic calculation of deadlock and traps. Advances in Petri nets, pages 315–336, 1987.Google Scholar
  10. [Lin89]
    M. Lindqvist. Parameterized reachability trees for predicate/transition nets. Acta Polytechnica Scandinavica, Ma 54, 1989.Google Scholar
  11. [Sch91]
    H.W. Schmidt. Prototyping and analysis of non-sequential systems using predicate-event nets. The Journal of Systems and Software, 15(1):43, April 1991.Google Scholar
  12. [Sch94]
    K. Schmidt. T-invariants of algebraic Petri nets. Technical report of Humboldt-University Berlin, 31, 1994.Google Scholar
  13. [Sch95a]
    K. Schmidt. On the computation of place invariants for algebraic Petri nets. Proceedings of the STRICT workshop Berlin, 1995.Google Scholar
  14. [Sch95b]
    K. Schmidt. Parameterized reachability trees for algebraic Petri nets. Proc. of the 16th International Conference on Application and Theory of Petri Nets, Torino, pages 392–411, 1995.Google Scholar
  15. [SMLA91]
    M. Silva, J. Martinez, P. Ladet, and H. Alla. Generalized inverses and the calculations of symbolic invariants for coloured Petri nets. High-Level Petri nets, Theory and Application, 1991.Google Scholar
  16. [Sta90]
    P. Starke. Analyse von Petri-Netz-Modellen. B.G. Teubner Stuttgart, 1990.Google Scholar
  17. [Vau87]
    J. Vautherin. calculation of semi-flows for pr/t-systems. In T. Murata, editor, International Workshop on Petri Nets and Performance Models. IEEE Computer Society Press, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1997

Authors and Affiliations

  • Karsten Schmidt
    • 1
    • 2
  1. 1.'96:Digital Systems Laboratory Department of Computer ScienceHelsinki University of TechnologyEspooFinland
  2. 2.'97: Institute of AlgebraUniversity of TechnologyDresdenGermany

Personalised recommendations