Sciweavers

LFCS
1997
Springer

Back-Forth Equivalences for Design of Concurrent Systems

13 years 7 months ago
Back-Forth Equivalences for Design of Concurrent Systems
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature are supplemented by new ones, and their relationship with basic behavioural equivalences is examined for the whole class of Petri nets as well as for their subclass of sequential nets. In addition, the preservation of all the equivalence notions by refinements is examined.
Igor V. Tarasyuk
Added 08 Aug 2010
Updated 08 Aug 2010
Type Conference
Year 1997
Where LFCS
Authors Igor V. Tarasyuk
Comments (0)