Nielsen, M.; Winskel, G. Petri Nets and Bisimulations. BRICS 1995, 2.