Behavior Structures and Nets
Alexander Rabinovich, Boris A. Trakhtenbrot · Fundamenta Informaticae · 1988
Behavior Structures integrate causality and branching. Nets of Behavior Structures provide a unifying approach to different net models of Concurrency. The Theory is illustrated wrt Nets over automata in particular wrt Petri Nets.