Zusammenfassung
In den beiden letzten Kapiteln wurde diskutiert, wie B/E-Systeme aussehen und wie ihr dynamisches Verhalten erklärt und analysiert werden kann. Wir beschäftigen uns nun mit Eigenschaften solcher Systeme und werden sehen, wie über solche Eigenschaften mit Mitteln des Netzkalküls selbst gesprochen werden kann.
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 zu Kapitel 4
C.A. Petri: Concepts of Net Theory Mathematical Foundations of Computer Science 1973, High Tatra; Mathematics Institute of Slovak Academy of Science (1973), S. 137–146
C. André, P. Armand, F. Boeri: Synchronic Relations and Applications in Parallel Computation Digital Processes 5 (1979), S. 99–113
U. Goltz, W. Reisig, P.S. Thiagarajan: Two Alternative Definitions of Synchronic Distance in C. Girault, W. Reisig (Hrsg.): Application and Theory of Petri Nets Informatik-Fachberichte 52, Springer-Verlag (1982)
U. Goltz, W. Reisig: Weighted Synchronic Distances in C. Girault, W. Reisig (Hrsg.): Application and Theory of Petri Nets Informatik-Fachberichte 52, Springer-Verlag (1982)
A. Pagnoni: A Fair Competition Between Two or More Partners in C. Girault, W. Reisig (Hrsg.): Application and Theory of Petri Nets Informatik-Fachberichte 52, Springer-Verlag (1982).
H.J. Genrich, G. Thieler-Mevissen: The Calculus of Facts Mathematical Foundations of Computer Science 1976, Lecture Notes in Computer Science 45, Springer-Verlag (1976), S. 588–595
G. Thieler-Mevissen: The Petri Net Calculus of Predicate Logic Interner Bericht ISF-76–09 (1976), Gesellschaft für Mathematik und Datenverarbeitung, Bonn.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Reisig, W. (1986). Systemeigenschaften. In: Petrinetze. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-71275-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-71275-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16622-1
Online ISBN: 978-3-642-71275-3
eBook Packages: Springer Book Archive