Nielsen, M. and Winskel, G. (1994) “Petri Nets and Bisimulations”, BRICS Report Series, 1(15). doi: 10.7146/brics.v1i15.21652.