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]

Abstract

Abstract is missing.