In: Fundam. Inform. (The Netherlands) Vol. 11, No. 4, pages 357-404. 1988.
Abstract: Behavior structures integrate causality and branching. Nets of behavior structures provide a unifying approach to different net models of concurrency. The theory is illustrated w.r.t. nets over automata in particular w.r.t. Petri nets.