Linear Logic Flavoured Composition of Petri Nets

[affine]

https://golem.ph.utexas.edu/category/2020/07/linear_logic_flavoured_composi.html