Modular encoding of synchronous and asynchronous interactions using open Petri nets

Paolo Baldan, Filippo Bonchi, Fabio Gadducci, Giacoma Valentina Monreale. Modular encoding of synchronous and asynchronous interactions using open Petri nets. Science of Computer Programming, 109:96-124, 2015. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: