CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES (Q3552522)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES |
scientific article |
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
