Engberg, Uffe, and Glynn Winskel. “Petri Nets As Models of Linear Logic”. DAIMI Report Series 19, no. 301 (February 1, 1990). Accessed May 9, 2024. https://tidsskrift.dk/daimipb/article/view/6682.