Robustness of Time Petri Nets under Guard Enlargement

S. Akshay, Loïc Hélouët, Claude Jard, Pierre-Alain Reynier. Robustness of Time Petri Nets under Guard Enlargement. In Alain Finkel, Jérôme Leroux, Igor Potapov, editors, Reachability Problems - 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings. Volume 7550 of Lecture Notes in Computer Science, pages 92-106, Springer, 2012. [doi]

Abstract

Abstract is missing.