- Tytuł:
- Analyzing paths in Time Petri Nets
- Autorzy:
-
Popova-Zeugmann, L.
Schlatter, D. - Data publikacji:
- 1999
- Słowa kluczowe:
-
Time Petri Net
integer state
reachability of a state
parametric description of a transition sequence - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł