M. Nielsen and G. Winskel, “Petri Nets and Bisimulations”, BRICS, vol. 2, no. 4, Jan. 1995.