Vladimiro Sassone. An Axiomatization of the Category of Petri Net Computations. Mathematical Structures in Computer Science, 8(2):117-151, 1998.
@article{Sassone98, title = {An Axiomatization of the Category of Petri Net Computations}, author = {Vladimiro Sassone}, year = {1998}, researchr = {https://researchr.org/publication/Sassone98}, cites = {0}, citedby = {0}, journal = {Mathematical Structures in Computer Science}, volume = {8}, number = {2}, pages = {117-151}, }