M. Nielsen og G. Winskel, “Petri Nets and Bisimulations”, BRICS, bd. 1, nr. 15, maj 1994.