Continuous Petri nets: expressive power and decidability issues (Q3552522)
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: Continuous Petri nets: expressive power and decidability issues |
scientific article; zbMATH DE number 5697183
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Continuous Petri nets: expressive power and decidability issues |
scientific article; zbMATH DE number 5697183 |
Statements
CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES (English)
0 references
22 April 2010
0 references
Petri nets
0 references
dynamical systems
0 references
reachability
0 references
liveness
0 references
expressiveness
0 references
decidability
0 references
0 references
0.9768656492233276
0 references
0.8854683041572571
0 references
0.8800637125968933
0 references
0.8611213564872742
0 references
0.8311235904693604
0 references