×

zbMATH — the first resource for mathematics

Some equivalence notions for concurrent systems. An overview. (English) Zbl 0611.68037
Advances in Petri nets, Sel. Pap. 6th Eur. Workshop Appl. Theory Petri Nets, Espoo/Finl. 1985, Lect. Notes Comput. Sci. 222, 381-400 (1986).
[For the entire collection see Zbl 0591.00016.]
String-equivalence, Behaviour-equivalence, Observation-equivalence, Exhibited-Behaviour-equivalence, Failure-equivalence and Testing equivalence are re-defined and discussed on Petri net models of concurrent systems. Since the previous notions, being based on sequences of events, do not distinguish real concurrency from its sequential non- deterministic simulation, they are refined, in order to capture the concurrency degree of the systems, in terms of the subset languages approach. The equivalence notions introduced are then compared w.r.t. their strength.

MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25 Theory of operating systems