(1)
Nielsen, M.; Winskel, G. Petri Nets and Bisimulations. BRICS 1994, 1.