In: Proceedings of the 10th International Conference on Application and Theory of Petri Nets, 1989, Bonn, Germany, pages 115-133. 1989.
Also in: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 483; Advances in Petri Nets 1990, pages 165-185. Berlin, Germany: Springer-Verlag, 1991.
Abstract: Vicinity respecting net morphisms are a restricted class of net morphisms. The restriction requires that pre- and post-sets of elements are respected by the morphisms. However, vicinity respecting net morphisms allow S-elements to be mapped to T-elements and vice versa and can hence formalize contractions of nets. Besides some general properties of (vincinity respecting) morphisms it is shown how this concept can be used for net transformations such as abstractions and compositions which preserve global properties. In particular, sufficient conditions for the preservation of coverings by S-components and T-components are given.
Keywords: vicinity respecting net morphism(s); net contraction; net abstraction; net composition; S-components covering preservation; T-components covering preservation.