Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
Crossref DOI link: https://doi.org/10.1007/s00236-018-0314-0
Published Online: 2018-01-24
Published Print: 2019-02
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Baldan, Paolo http://orcid.org/0000-0001-9357-5599
Gadducci, Fabio http://orcid.org/0000-0003-0690-3051
Text and Data Mining valid from 2018-01-24
Article History
Received: 6 September 2016
Accepted: 14 January 2018
First Online: 24 January 2018