Soundness of Workflow Nets with Reset Arcs (Q3651240)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Soundness of Workflow Nets with Reset Arcs |
scientific article |
Statements
Soundness of Workflow Nets with Reset Arcs (English)
0 references
9 December 2009
0 references
Petri nets
0 references
decidability
0 references
workflow nets
0 references
reset nets
0 references
soundness
0 references
verification
0 references
