For the most recent entries see the Petri Nets Newsletter.

Use of Reentrant Nets in Modular Analysis of Colored Nets.

Chehaibar, Ghassan

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography