[Lecture Notes in Computer Science] Reachability Problems Volume 7550 || Robustness of Time Petri Nets under Guard Enlargement
Finkel, Alain, Leroux, Jérôme, Potapov, IgorVolume:
10.1007/97
Year:
2012
Language:
english
DOI:
10.1007/978-3-642-33512-9_9
File:
PDF, 310 KB
english, 2012