Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
Baldan, Paolo, Gadducci, FabioLanguage:
english
Journal:
Acta Informatica
DOI:
10.1007/s00236-018-0314-0
Date:
January, 2018
File:
PDF, 1.43 MB
english, 2018