Preview
Unable to display preview. Download preview PDF.
References
Aho, Hopcroft, Ullmann: The Design and Analysis of Computer Algorithms.— Addison-Wesley Publishing Co., 1974
Genrich, Lautenbach, Thiagarajan: An Overview of Net Theory.— Advanced Course on General Net Theory of Processes and Systems. Hamburg, 1979
Hopcroft, Ullmann: Formal Languages and their Relation to Automata.— Addison-Wesley Publishing Co., 1969
A. Mazurkiewicz: Concurrent Program Schemes and their Interpretation.— University of Aarhus, DAIMI PB-78.
C.A. Petri: Nichtsequentielle Prozesse.— GMD-ISF interner Bericht 76-6, Juni 1976.
C.A. Petri: General Net Theory.— Proceedings of the Joint IBM/University of Newcastle-upon-Tyne Seminar. B. Shaw (Ed.), 1976.
W. Reisig: Zur Verwendung von Petrinetz-Morphismen bei der Systemkonstruktion.— GI-Fachtagung “Formale Modelle für Informationssysteme”, Informatik Fachbericht Nr. 21. Springer Verlag 1979
J. Winkowski: An Algebraic Approach to Concurrency.— 8th Symposium on Mathematical Foundations of Computer Science (MFCS), Lecture Notes in Computer Science 74, Springer Verlag, 1979.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1980 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Reisig, W. (1980). Schemes for nonsequential processing systems. In: Dembiński, P. (eds) Mathematical Foundations of Computer Science 1980. MFCS 1980. Lecture Notes in Computer Science, vol 88. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0022529
Download citation
DOI: https://doi.org/10.1007/BFb0022529
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-10027-0
Online ISBN: 978-3-540-38194-5
eBook Packages: Springer Book Archive