Abstract
In the previous chapter we saw how to describe C/E-systems and how to define and analyse their dynamic behaviour. We shall now concern ourselves with some properties of C/E-systems. We shall see that some of those properties can again be described by means of the net calculus.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
C. A. Petri: Concepts of Net Theory. Mathematical Foundations of Computer Science, 1973. High Tatra; Mathematics Institute of Slovak Academy of Science (1973), pp. 137–146.
C. André, P. Armand, F. Boeri: Synchronic Relations and Applications in Parallel Computation. Digital Processes 5 (1979), pp. 339–354
U. Goltz, W. Reisig, P. S. Thiagarajan: Two Alternative Definitions of Synchronic Distance, C. Girault, W. Reisig (eds.): Application and Theory of Petri Nets. Informatik Fachbericht 52, Springer Publishing Company (1982).
U. Goltz, W. Reisig: Weighted Synchronic Distances, C. Girault, W. Reisig (eds.): Application and Theory of Petri Nets. Informatik Fachbericht 52, Springer Publishing Company (1982).
A. C. Pagnoni: A Fair Competition Between Two or More Partners, C. Girault, W. Reisig (eds.): Application and Theory of Petri Nets. Informatik Fachbericht 52, Springer Publishing Company (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), pp. 588–595
G. Thieler-Mevissen: The Petri Net Calculus of Predicate Logic. Internal Report ISF-76–09 (1976), Gesellschaft für Mathematik und Datenverarbeitung, Bonn.
Author information
Authors and Affiliations
Rights and permissions
Copyright information
© 1985 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Reisig, W. (1985). Properties of Systems. In: Petri Nets. EATCS Monographs on Theoretical Computer Science, vol 4. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-69968-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-69968-9_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-69970-2
Online ISBN: 978-3-642-69968-9
eBook Packages: Springer Book Archive