Zusammenfassung
Es wird gezeigt, daß das Zustandsdiagramm einer geeigneten Repräsentation eines Ein-Marken-Petrinetzes durch ein synchrones Schaltwerk auch das Petrinetz beschreibt, wenn man das Zustandsdiagramm in bestimmter Weise interpretiert.
Summary
It is shown that the state diagram of an adequate representation of a marked Petri net with one token by a synchronous sequential system describes the Petri net itself, if the state diagram is interpreted in a certain way.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Literatur
Reisig, W.: Petrinetze. Eine Einführung. Springer-Verlag, Berlin, Heidelberg, New York 1982.
Starke, P.H.: Petri-Netze. Grundlagen, Anwendungen, Theorie. Deutscher Verlag der Wissenschaften, Berlin 1980.
Rosenstengel, B. u. U. Winand: Petri-Netze. Eine anwendungsorientierte Einführung. Friedr. Vieweg & Sohn, Braunschweig, Wiesbaden 1982 (2. Auflage 1983).
Peterson, J.L.: Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, N.J. 1981.
Schöne, A.: Über die Realisierung von Petrinetzen durch Schaltwerke. Angewandte Informatik (1985) H. 4, S. 160-166.
Schöne, A.: Digitaltechnik und Mikrorechner. Friedr. Vieweg & Sohn, Braunschweig, Wiesbaden 1984.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Schöne, A. (1985). Ein-Marken-Petrinetze und Synchrone Schaltwerke. In: Möller, D.P.F. (eds) Simulationstechnik. Informatik-Fachberichte, vol 109. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-70640-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-70640-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-15700-7
Online ISBN: 978-3-642-70640-0
eBook Packages: Springer Book Archive