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 wrt Nets over automata in particular wrt Petri Nets.
Get full access to this article
View all access options for this article.