Encoding Asynchronous Interactions Using Open Petri Nets.

Paolo Baldan, Filippo Bonchi, Fabio Gadducci

Browse the full CONCUR paper archive.