Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
| Property / full work available at URL | |||
| Property / full work available at URL: https://doi.org/10.1007/s00236-018-0314-0 / rank | |||
Normal rank | |||
| Property / OpenAlex ID | |||
| Property / OpenAlex ID: W2787060132 / rank | |||
Normal rank | |||
Revision as of 19:15, 19 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Petri nets are dioids: a new algebraic foundation for non-deterministic net theory |
scientific article |
Statements
Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (English)
0 references
25 January 2019
0 references
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.
0 references
Petri nets
0 references
algebraic interpretation of Petri net computations
0 references
