An investigation of back-forth and place bisimulation equivalences

The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth and place 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 nets as well as for their subclass of sequential nets (nets without concurrent transitions). In addition, the preservation of all the equivalence notions by refinements is investigated to find out which of these equivalences may be used for top-down design. (orig.)SIGLEAvailable from TIB Hannover: RO 8347(1997,8) / FIZ - Fachinformationszzentrum Karlsruhe / TIB - Technische InformationsbibliothekVolkswagenwerk A.G., Wolfsburg (Germany)DEGerman