![](/img/cover-not-exists.png)
Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches
Bernard Berthomieu, Didier Lime, Olivier H. Roux, François VernadatVolume:
17
Language:
english
Pages:
26
Journal:
Discrete Event Dynamic Systems
DOI:
10.1007/s10626-006-0011-y
Date:
June, 2007
File:
PDF, 528 KB
english, 2007