In: Proceedings of the 11th International Conference on Application and Theory of Petri Nets, 1990, Paris, France, pages 84-103. 1990.
Abstract: The paper studies the inter-substitution of colored Petri subnets whose border is formed by places. The authors define the reentrant net class and a notion of interface equivalence over this class. Then a new equivalence notion is defined, observational home equivalence, which states the two classical properties of language equality and continuation, but is differnet from previous notions in that only sequences yielding markings on a given home space are considered. A substitution theorem is established, and composition operations on reentrant nets are defined.
Keywords: validation (of) protocols; coloured net; reentrant net; interface equivalence; observational home equivalence; composition; substitution.