NIELSEN, M.; WINSKEL, G. Petri Nets and Bisimulations. BRICS Report Series, v. 2, n. 4, 4 Jan. 1995.