Frank Puhlmann Mathias Weske A Look Around the Corner: The Pi-Calculus. 64-78 2009 2 T. Petri Nets and Other Models of Concurrency http://dx.doi.org/10.1007/978-3-642-00899-3_4 journals/topnoc/2009-2 db/journals/topnoc/topnoc2.html#PuhlmannW09