For the most recent entries see the Petri Nets Newsletter.

Maximality Preservation and the ST-idea for Action Refinements.

Devillers, Raymond

In: Rozenberg, G.: Lecture Notes in Computer Science, Vol. 609; Advances in Petri Nets 1992, pages 108-151. Springer-Verlag, 1992.

Abstract: The paper shows, in the framework of labelled P/T nets, that strengthening classical bisimulations through a maximality preservation property or through the introduction of ST-configurations lead to equivalent bisimulation notions, that they are preserved by a large class of action refinements, that they may be characterized through specific refinements and that they are the coarsest equivalences preserved by refinements and implying the original bisimulations.

Keywords: Bisimulation; Concurrency; Action refinement; Petri nets.

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

Back to the Petri Nets Bibliography