Modelling Local and Global Behaviour: Petri Nets and Event Coordination

Ekkart Kindler. Modelling Local and Global Behaviour: Petri Nets and Event Coordination. T. Petri Nets and Other Models of Concurrency, 6:71-93, 2012. [doi]

Abstract

Abstract is missing.