In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 524; Advances in Petri Nets 1991, pages 58-77. Berlin, Germany: Springer-Verlag, 1991.
Abstract: This paper deals with the properties of modular constructs such as replacement and composition for a restricted net class called reentrant nets. A reentrant net has a distinguished place subset (interface) and satisfies some behavioral properties like the existence of home spaces. A notion of interface equivalence is defined over this class. Then observational home equivalence is defined, which is a bisimulation relation. A replacement theorem is established; and finally a composition opeartion on reentrant nets is defined. All this notions are defined for colored nets.
Keywords: validation (of) protocols; reentrant net; interface equivalence; observational home equivalence; composition; home space; substitution; replacement; modular analysis (of) coloured net; interface equivalence; bisimulation.