Reachability Problems and Abstract State Spaces for Time...

Discrete Event Dynamic Systems 2007 / 06 Vol. 17; Iss. 2

Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches

Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
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
Conversion to is in progress
Conversion to is failed