This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
8. References
J. Grabowski: On partial languages. Preprint 40/79, Sekt. Math., Humboldt-Univ., 1979. To appear in Fundamenta Informaticae (Warszawa).
A. Mazurkiewicz: Concurrent program schemes and their verification. DAIMI PB 78, Aarhus 1977.
Net Theory and Application. Lecture Notes in Computer Sci. 84 (1980).
W. Reisig: Processes of marked arc-weighted nets. Petri Nets and Related System Models Newsletter 5 (1980) 13–15.
P.H. Starke: Petri-Netze. DVW Berlin, 1980.
P.H. Starke: Processes in Petri nets. Elektron. Informationsverarbeitung u. Kybernetik 17 (1981) No. 4–6.
J. Winkwoski: An algebraic approach to concurrency. Lecture Notes in Computer Sci. 74 (1979) 523–532.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1981 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Starke, P.H. (1981). Processes in Petri nets. In: Gécseg, F. (eds) Fundamentals of Computation Theory. FCT 1981. Lecture Notes in Computer Science, vol 117. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-10854-8_39
Download citation
DOI: https://doi.org/10.1007/3-540-10854-8_39
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10854-2
Online ISBN: 978-3-540-38765-7
eBook Packages: Springer Book Archive