Paolo Baldan, Fabio Gadducci. Petri nets are dioids: a new algebraic foundation for non-deterministic net theory. Acta Informatica, 56(1):61-92, 2019. [doi]
@article{BaldanG19,
title = {Petri nets are dioids: a new algebraic foundation for non-deterministic net theory},
author = {Paolo Baldan and Fabio Gadducci},
year = {2019},
doi = {10.1007/s00236-018-0314-0},
url = {https://doi.org/10.1007/s00236-018-0314-0},
researchr = {https://researchr.org/publication/BaldanG19},
cites = {0},
citedby = {0},
journal = {Acta Informatica},
volume = {56},
number = {1},
pages = {61-92},
}