A Polynomial Translation of π-Calculus (FCP) to Safe Petri Nets.

Roland Meyer, Victor Khomenko, Reiner Hchting

Browse the full CONCUR paper archive.