Priced Timed Petri Nets (Q2865063)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Priced Timed Petri Nets |
scientific article |
Statements
Priced Timed Petri Nets (English)
0 references
28 November 2013
0 references
formal verification
0 references
Petri nets
0 references
timed automata
0 references