Parameterized reachability trees for algebraic Petri nets

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


Parameterized reachability trees have been proposed by M. Lindquist for predicate/transition nets. We discuss the application of this concept to algebraic nets. For this purpose a modification of several definitions is necessary due to the different net descriptions, transition rules and theoretical backgrounds. That's why we present the concept from the bottom for algebraic nets. Furthermore we discuss the combination of parameterized reachability analysis with the well known stubborn set method.


Analysis of higher-level net models 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [EM85]
    H. Ehrig, B. Mahr. Fundamentals of Algebraic Specifications, vol. 1 of EATCS Monographs on Theoretical Computer Science 6. Springer, 1985.Google Scholar
  2. [Gen87]
    H. Genrich. Predicate/Transition Nets, LNCS 254, pages 207–247, 1987.Google Scholar
  3. [HJJ84]
    Huber, A. Jensen, Jepsen, K. Jensen. Towards Reachability Trees for High-level Petri Nets. In Advances in Petri Nets 1984, LNCS 188, pp. 215–233.Google Scholar
  4. [Jen81]
    K. Jensen. Coloured Petri Nets and the Invariant-Method. Theoretical Computer Science, 14:317–336, 1981.CrossRefGoogle Scholar
  5. [Lin89]
    M. Lindqvist. Parameterized Reachability Trees for Predicate/Transition Nets. Acta Polytechnica Scandinavica, Ma 54, 1989.Google Scholar
  6. [Rei91]
    W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80:1–34, 1991.Google Scholar
  7. [SSt91]
    K. Schmidt, P. Starke. An Algorithm to Compute the Symmetries of Petri Nets. Petri Net Newsletter, 40:25–30, 1991.Google Scholar
  8. [Sch93]
    K. Schmidt. Symmetries of Petri Nets. Petri Net Newsletter, 43:9–25, 1993.Google Scholar
  9. [Sta91]
    P.H. Starke. Reachability Analysis of Petri Nets Using Symmetries. J. Syst. Anal. Model. Simul., 8:294–303, 1991.Google Scholar
  10. [Tiu94]
    Tiusanen, M. Symbolic, Symmetry, and Stubborn Set Searches. In Proc. of the 15th Int. Conf. on Application and Theory of Petri Nets 1994, LNCS 815, pages 511–530, 1994.Google Scholar
  11. [Val91]
    Valmari, A. Stubborn Sets of Coloured Petri Nets. In Proc. of the 12th Int. Conf. on Application and Theory of Petri Nets 1991, pages 102–121, 1991.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1995

Authors and Affiliations

  • Karsten Schmidt
    • 1
  1. 1.Institut für InformatikHumboldt-Universität zu BerlinBerlin

Personalised recommendations