Parameterized reachability trees for algebraic petri nets

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 935, Issue , 1995, Pages 392-411

  Schmidt, Karsten ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Analysis of higher level net models

Indexed keywords

ALGEBRA; FORESTRY; PARAMETERIZATION;

ALGEBRAIC NETS; ALGEBRAIC PETRI NETS; HIGHER-LEVEL NET MODELS; PARAMETERIZED; PREDICATE/TRANSITION NET; REACHABILITY ANALYSIS; REACHABILITY TREE; TRANSITION RULE;

PETRI NETS;

EID: 84956862276     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-60029-9_51     Document Type: Conference Paper

References (11)

1. [EM85] H. Ehrig, B. Mahr. Fundamentals of Algebraic Specifications, vol. 1 of EATCS Monographs on Theoretical Computer Science 6. Springer, 1985.
2. [Gen87] H. Genrich. Predicate/Transition Nets, LNCS 254, pages 207-247, 1987.
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.
4. [Jen81] K. Jensen. Coloured Petri Nets and the Invariant-Method. Theoretical Computer Science, 14: 317-336, 1981.
5. [Lin89] M. Lindqvist. Parameterized Reachability Trees for Predicate/Transition Nets. Acta Polytechnica Scandinaυica, Ma 54, 1989.
6. [Rei91] W. Reisig. Petri Nets and Algebraic Specifications. Theoretical Computer Science, 80: 1-34, 1991.
7. [SSt91] K. Schmidt, P. Starke. An Algorithm to Compute the Symmetries of Petri Nets. Petri Net Newsletter, 40: 25-30, 1991.
8. [Sch93] K. Schmidt. Symmetries of Petri Nets. Petri Net Newsletter, 43: 9-25, 1993.
9. [Sta91] P. H. Starke. Reachability Analysis of Petri Nets Using Symmetries. J. Syst. Anal. Model. Simul., 8: 294-303, 1991.
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.
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.