Nielsen, M., og G. Winskel. “Petri Nets and Bisimulations”. BRICS Report Series, bd. 2, nr. 4, januar 1995, doi:10.7146/brics.v2i4.19506.