Expressiveness of Petri Nets with Stopwatches. Dense-time Part (Q3400538)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Expressiveness of Petri Nets with Stopwatches. Dense-time Part |
scientific article |
Statements
Expressiveness of Petri Nets with Stopwatches. Dense-time Part (English)
0 references
5 February 2010
0 references
real-time systems, time Petri nets, Petri nets with stopwatches, expressiveness
0 references