Abstract
The central idea of General Net Theory is to emphasize morphisms between nets instead of studying single nets. The paper contributes to this theory and proposes a formalism for net transformations which is based on a subclass of surjective net morphisms, called abstractions.
Up to isomorphism, each abstraction of a net can be characterized by an equivalence relation on its elements. Feasible equivalence relations, which define abstractions, are characterized. They define quotient nets, analogously to quotients of sets. Some closure properties of feasible relations are studied.
Finally, it is shown that each abstraction can be decomposed into a folding (foldings are a known subclass of abstractions) and a simple contraction (which is a local transformation defined in the paper).
Work supported by EBRA 3148: DEMON and by SFB 342 WG A3: SEMAFOR.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
Best, E.; Fernandez C., C.: Notations and Terminology on Petri Net Theory. Arbeitspapiere der GMD Nr.195 (1987)
Desel, J; Merceron, A.: Vicinity Respecting Net Morphisms. Advances in Petri Nets 1990, LNCS Vol.483, 165–185 (1991)
Genrich, H.J.; Lautenbach, K; Thiagarajan, P.S.: Elements of General Net Theory. Net Theory and Applications, LNCS Vol.84, 21–163 (1980)
Goltz, U., van Glabbeek, R.: Refinement of Actions in Causality Based Models. REX Workshop on Stepwise Refinement of Distributed Systems, LNCS Vol.430, 267–300 (1990)
Petri, C.A.: Concepts of Net Theory. MFCS, Proceedings of Symposium and Summer School, High Tatras. Math. Inst. of the Slovak Acad. of Science, 137–146 (1973)
Smith, E.; Reisig, W.: The Semantics of a Net is a Net — An Exercise in General Net Theory. In: Concurrency and Nets / Voss, K.; Genrich, H.J., Rozenberg, G. (eds.), Advances in Petri Nets. Springer-Verlag, 461–480 (1987)
Smith, E.: Zur Bedeutung der Concurrency-Theorie für den Aufbau hochverteilter Systeme. GMD-Bericht Nr.180, R. Oldenbourg Verlag (1989)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Desel, J. (1991). On abstractions of nets. In: Rozenberg, G. (eds) Advances in Petri Nets 1991. ICATPN 1990. Lecture Notes in Computer Science, vol 524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0019970
Download citation
DOI: https://doi.org/10.1007/BFb0019970
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54398-5
Online ISBN: 978-3-540-47600-9
eBook Packages: Springer Book Archive