NIELSEN, M.; WINSKEL, G. Petri Nets and Bisimulations. BRICS Report Series, v. 1, n. 15, 3 May 1994.