For the most recent entries see the Petri Nets Newsletter.

Validation of Phase-Executed Protocols Modelled with Colored Petri Nets.

Chehaibar, Ghassan

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.

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

Back to the Petri Nets Bibliography