- Tytuł:
- Expressiveness of Petri Nets with Stopwatches. Discrete-time Part
- Autorzy:
-
Magnin, M
Molinaro, P.
Roux, O-H. - Data publikacji:
- 2009
- Słowa kluczowe:
-
real-time system
Time Petri Net
discrete-time semantics
Petri nets with stopwatches
expressiveness
decidability - Pokaż więcej
- Dostawca treści:
- BazTech