Target-oriented Petri Net Synthesis (Q4988954)
From MaRDI portal
scientific article; zbMATH DE number 7350061
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Target-oriented Petri Net Synthesis |
scientific article; zbMATH DE number 7350061 |
Statements
Target-oriented Petri Net Synthesis (English)
0 references
20 May 2021
0 references
choice-freeness
0 references
persistence
0 references
Petri nets
0 references
synthesis
0 references
0 references
