Modelling Local and Global Behaviour: Petri Nets and Event Coordination

Ekkart Kindler. Modelling Local and Global Behaviour: Petri Nets and Event Coordination. In Michael Duvigneau, Daniel Moldt, Kunihiko Hiraishi, editors, Proceedings of the International Workshop on Petri Nets and Software Engineering, Newcastle upon Tyne, UK, June 20-21, 2011. Volume 723 of CEUR Workshop Proceedings, pages 42-56, CEUR-WS.org, 2011. [doi]

Abstract

Abstract is missing.