The Complexity of Synthesis of b-Bounded Petri Nets (Q5025061)
From MaRDI portal
scientific article; zbMATH DE number 7467843
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | The Complexity of Synthesis of b-Bounded Petri Nets |
scientific article; zbMATH DE number 7467843 |
Statements
The Complexity of Synthesis of b-Bounded Petri Nets (English)
0 references
1 February 2022
0 references
Petri nets
0 references
synthesis
0 references
\(b\)-bounded
0 references
SSP
0 references
ESSP
0 references
solvability
0 references
0 references
