Petri nets are dioids: a new algebraic foundation for non-deterministic net theory (Q1713413)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Petri nets are dioids: a new algebraic foundation for non-deterministic net theory |
scientific article; zbMATH DE number 7006682
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Petri nets are dioids: a new algebraic foundation for non-deterministic net theory |
scientific article; zbMATH DE number 7006682 |
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
0 references
0.955155611038208
0 references
0.8372897505760193
0 references
0.8186810612678528
0 references
