Complexity of the soundness problem of bounded workflow nets (Q2908201)
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: Complexity of the soundness problem of bounded workflow nets |
scientific article; zbMATH DE number 6076631
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Complexity of the soundness problem of bounded workflow nets |
scientific article; zbMATH DE number 6076631 |
Statements
Complexity of the Soundness Problem of Bounded Workflow Nets (English)
0 references
4 September 2012
0 references
Petri nets
0 references
workflow nets
0 references
workflow nets with reset arcs
0 references
soundness
0 references
co-NP-hardness
0 references
PSPACE-hardness
0 references
0.9504238367080688
0 references
0.8641141653060913
0 references
0.8504323363304138
0 references
0.8488296270370483
0 references
0.838237464427948
0 references
