[1]
M. Nielsen and G. Winskel, “Petri Nets and Bisimulations”, BRICS, vol. 1, no. 15, May 1994.