- Tytuł:
- A More Efficient Time Petri Net State Space Abstraction Useful to Model Checking Timed Linear Properties
- Autorzy:
-
Bouchene, H.
Rakkay, H. - Data publikacji:
- 2008
- Słowa kluczowe:
-
Time Petri Net
State class graph
state explosion problem
partial order techniques
independent transitions
timed linear properties
Interval timed Büchi automata - Pokaż więcej
- Dostawca treści:
- BazTech
Artykuł