Nielsen, M., and G. Winskel. “Petri Nets and Bisimulations”. BRICS Report Series, Vol. 2, no. 4, Jan. 1995, doi:10.7146/brics.v2i4.19506.