A Categorical Linear Framework for Petri Nets

Carolyn Brown, Doug Gurr

Browse the full LICS paper archive.