Behavior strutures and nets. (English) Zbl 0657.68068

Behavior structures integrate causality and branching. Nets of behavior structures provide a unifying approach to different net models of concurrency. The theory is illustrated with respect to nets over automata in particular with respect to Petri nets.


68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
68N25 Theory of operating systems
68Q65 Abstract data types; algebraic specification