Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems (Q4898735)
From MaRDI portal
scientific article; zbMATH DE number 6121107
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems |
scientific article; zbMATH DE number 6121107 |
Statements
Improving the Construction of the DBM Over Approximation of the State Space of Real-time Preemptive Systems (English)
0 references
2 January 2013
0 references
preemptive systems
0 references
time Petri nets
0 references
stopwatch inhibitor arcs
0 references
state class graph
0 references
DBM over-approximation
0 references
