Abstract
A core issue of General Net Theory is to relate different net classes by meaning preserving mappings. To do so in a simple and elegant way, some mathematical techniques will be developed in this paper. This includes special net morphisms and equivalence relations on nets. These concepts are applied to study the relationship of (strict) high level nets to condition/event systems. Different classes of high level nets are discriminated.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
BF:_E. Best, C. Fernández: Notations and Terminology on Petri Net Theory. Gesellschaft für Math. und Datenverarbeitung, Bonn, Arbeitspapiere der GMD Nr. 195 (1986).
C:_P.M. Cohn: Universal Algebra. D. Reidel Publishing Company (1981).
F:_C. Fernández: Net Topology I,II. ISF-Reports 75.09, 76.02. GMD, St. Augustin (1975,1976).
G:_H.J. Genrich: Predicate/Transition Nets. Proceedings of the Advanced Course on Petri Nets, Bad Honnef, West-Germany, September 1986.
GLT:_H.J. Genrich, K. Lautenbach, P.S. Thiagarajan: Elements of General Net Theory in: W. Brauer (ed): Net Theory and Applications. Springer Lecture Notes in Computer Science, 84 (1980).
GS:_H.J. Genrich, E. Stankiewicz—Wiechno: A Dictionary of Some Basic Notations of Net Theory in: W. Brauer (ed): Net Theory and Applications. Springer Lecture Notes in Computer Science, 84 (1980).
J1:_K. Jensen: Coloured Petri Nets and the Invariant Method. Theoretical Computer Science 14 (1981), pp. 317–336.
J2:_K. Jensen: Coloured Nets. Proceedings of the Advanced Course on Petri Nets, Bad Honnef, West-Germany, September 1986.
P1:_C.A. Petri: Concepts of Net Theory. Mathematical Foundations of Computer Science, Proceedings of Symposium and Summer School, High Tatras, September 3–8, 1973. Math. Inst. of the Slovak Acad. of Science (1973), pp. 137–146.
P2:_C.A. Petri: Interpretations of Net Theory. Interner Bericht 75-07 (2. Auflage), GMD(1976)
R1:_W. Reisig: Petri Nets, An Introduction. Springer Verlag (1985).
R2:_W. Reisig: Petri Nets With Individual Tokens. Theoretical Computer Science 41 (1985), pp. 185–213.
RT:_G. Rozenberg, P. S. Thiagarajan: Petri Nets: Basic Notions, Structure, Behaviour. Springer Lecture Notes in Computer Science, 224 (1986).
W:_G. Winskel: A New Definition of Morphism on Petri Nets. Springer Lecture Notes in Computer Science, 166 (1984).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Smith, E., Reisig, W. (1987). The Semantics of a Net is a Net. In: Voss, K., Genrich, H.J., Rozenberg, G. (eds) Concurrency and Nets. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-72822-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-642-72822-8_29
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-72824-2
Online ISBN: 978-3-642-72822-8
eBook Packages: Springer Book Archive