This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
BOGEN M.: Berechnungen in einfachen synchronisationsgraphartigen Prädikat/Transitionsnetzen. Diplomarbeit, Universität Bonn, 1983
GENRICH H.J. and LAUTENBACH K.: Synchronisationsgraphen, Acta Informatica 2, 143–161, 1973
GENRICH H.J. and LAUTENBACH K.: System Modelling with High-Level Petri Nets, Theoretical Computer Science, 13, 109–136, 1981
GENRICH H.J. and LAUTENBACH K.: S-invariance in Predicate/Transition Nets, in: Application and Theory of Petri Nets, Informatik Fachberichte 66, Springer, 1983
LAUTENBACH K.: Simple Marked-graph-like Predicate/Transition Nets, Arbeitspapiere der GMD Nr. 41, Juli 1983
LAUTENBACH K. and PAGNONI A.: Invariance and Duality in Predicate/Transition Nets and in Coloured Nets Arbeitspapiere der GMD, Dezember 1984
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lautenbach, K., Pagnoni, A. (1985). Liveness and duality in marked-graph-like predicate/transition 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_19
Download citation
DOI: https://doi.org/10.1007/3-540-15204-0_19
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