Raymond R. Devillers Hanna Klaudel Maciej Koutny A compositional Petri net translation of general <i>pi</i> -calculus terms. 429-450 2008 20 Formal Asp. Comput. 4-5 http://dx.doi.org/10.1007/s00165-008-0079-2 db/journals/fac/fac20.html#DevillersKK08