They can also be reasoned about in terms of linear logic. https://www.researchgate.net/publication/318253097_Petri_Nets_as_Models_of_Linear_Logic https://www.r

They can also be reasoned about in terms of linear logic. https://www.researchgate.net/publication/318253097_Petri_Nets_as_Models_of_Linear_Logic https://www.researchgate.net/publication/318253097_Petri_Net...