For the most recent entries see the Petri Nets Newsletter.

Concurrent Bisimulations in Petri Nets.

Best, Eike; Devillers, Raymond; Kiehn, Astrid; Pomello, Lucia

In: Acta Informatica, Vol. 28, No. 3, pages 231-264. 1991.

Abstract: After various attempts, an equivalence relation is defined for labelled Petri nets, on the base of concurrency semantics of net theory. This relation, called Fully Concurrent bisimulation and abbreviated FC-bisimulation, preserves the level of concurrency of visible operations and, under some conditions, allows to enforce injective labelling on them. Refinements of a visible operation are also defined and the authors show that, under some conditions, they preserve FC-bisimulation.

Keywords: (fully) concurrent bisimulation; equivalence relation (for) labelled net(s); concurrency semantics; refinements (of) visible operation(s); injective labelling.

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

Back to the Petri Nets Bibliography