Preview
Unable to display preview. Download preview PDF.
References
H.J. Genrich and K. Lautenbach: System modelling with high-level Petri nets, Theoretical Computer Science 13 (1981), 109–136.
M. Hack: Decidability questions for Petri Nets. TR 161, MIT, 1976.
P. Huber, A.M. Jensen, L.O. Jepsen and K. Jensen: Towards reach-ability trees for high-level Petri nets. DAIMI PB-174, Computer Science Department, Aarhus University, 1984. Identical to the present paper, except for 3 appendices which contain the proof of lemmas 1–6, analysis of two examples, and our algorithm to test two ω-markings for equivalence.
K. Jensen: Coloured Petri nets and the invariant-method. Theoretical Computer Science 14 (1981), 317–336.
K. Jensen: How to find invariants for coloured Petri nets. In: J. Gruska, M. Chytill (eds.): Mathematical Foundations of Computer Science 1981, Lecture Notes in Computer Science, vol. 118, Springer-Verlag, 1981, 327–338.
K. Jensen: High-level Petri nets. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag 1983, 166–180.
R.M. Karp and R.E. Miller: Parallel program schemata. Journal of Computer and System Sciences, vol. 3 (1969), 147–195.
J.L. Peterson: Petri net theory and the modellings of systems. Prentice-Hall 1981.
W. Reisig: Petri nets with individual tokens. In: A. Pagnoni and G. Rozenberg (eds.): Applications and Theory of Petri Nets, Informatik-Fachberichte vol. 66, Springer-Verlag 1983, 229–249.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Huber, P., Jensen, A.M., Jepsen, L.O., Jensen, K. (1985). Towards reachability trees for high-level petri nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1984. Lecture Notes in Computer Science, vol 188. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-15204-0_13
Download citation
DOI: https://doi.org/10.1007/3-540-15204-0_13
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15204-0
Online ISBN: 978-3-540-39320-7
eBook Packages: Springer Book Archive