New algorithms for deciding the siphon-trap property (Q3569871)
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: New algorithms for deciding the siphon-trap property |
scientific article; zbMATH DE number 5724296
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | New algorithms for deciding the siphon-trap property |
scientific article; zbMATH DE number 5724296 |
Statements
New Algorithms for Deciding the Siphon-Trap Property (English)
0 references
22 June 2010
0 references
Petri nets
0 references
traps
0 references
siphons
0 references
commoner-hack
0 references
liveness
0 references
SAT
0 references
divide-and-conquer
0 references
0.7935447692871094
0 references
0.7920404076576233
0 references
0.7891861200332642
0 references
0.7718332409858704
0 references
