Petri nets are dioids: a new algebraic foundation for non-deterministic net theory
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.
algebraic interpretation of Petri net computations
scientific article; zbMATH DE number 7006682
scientific article