Verifying time Petri nets by linear programming (Q5934289)
From MaRDI portal
scientific article; zbMATH DE number 1606593
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Verifying time Petri nets by linear programming |
scientific article; zbMATH DE number 1606593 |
Statements
Verifying time Petri nets by linear programming (English)
0 references
19 June 2001
0 references
verification problems
0 references
time Petri nets
0 references
linear programming
0 references
