Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413)

In this paper, the approach of \textit{J. Meseguer} and \textit{U. Montanari} given in the seminal paper [Inf. Comput. 88, No. 2, 105--155 (1990; Zbl 0711.68077)] is generalized from deterministic computations of Petri nets to nondeterministic ones. Formally, the algebraic interpretation of Petri nets in terms of commutative monoids is replaced by dioids (idempotent semirings) by adding an idempotent operation for characterizing nondeterministic computations of Petri nets.