Analysis of reachability and prohibitibility of a class of coloured Petri nets with interval timed arcs (Q2744493)
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: Analysis of reachability and prohibitibility of a class of coloured Petri nets with interval timed arcs |
scientific article; zbMATH DE number 1649069
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Analysis of reachability and prohibitibility of a class of coloured Petri nets with interval timed arcs |
scientific article; zbMATH DE number 1649069 |
Statements
25 March 2002
0 references
time bound estimation
0 references
timing constraint Petri nets
0 references
coloured Petri nets
0 references
interval timed arcs
0 references
reachability analysis
0 references
Analysis of reachability and prohibitibility of a class of coloured Petri nets with interval timed arcs (English)
0 references
