PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (Q5100757)
From MaRDI portal
scientific article; zbMATH DE number 7580933
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets |
scientific article; zbMATH DE number 7580933 |
Statements
PSPACE-Completeness of the Soundness Problem of Safe Asymmetric-Choice Workflow Nets (English)
0 references
1 September 2022
0 references
Petri nets
0 references
workflow nets
0 references
asymmetric-choice nets
0 references
soundness
0 references
liveness
0 references
PSPACE-completeness
0 references
