Nielsen, Mogens, og Glynn Winskel. “Petri Nets and Bisimulations”. BRICS Report Series 2, no. 4 (januar 4, 1995). Set oktober 14, 2026. https://tidsskrift.dk/brics/article/view/19506.