Springer
Lecture Notes in Computer Science
International Conference on Concurrency Theory
Specification and Analysis of Embedded Systems

Baldan, P., Bonchi, F.& Gadducci, F. (2009). Encoding Asynchronous Interactions Using Open Petri Nets. Proceedings of International Conference on Concurrency Theory 2009 (20), 99–114.