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]

Authors

S. Akshay

This author has not been identified. Look up 'S. Akshay' in Google

Loïc Hélouët

This author has not been identified. Look up 'Loïc Hélouët' in Google

Claude Jard

This author has not been identified. Look up 'Claude Jard' in Google

Pierre-Alain Reynier

This author has not been identified. Look up 'Pierre-Alain Reynier' in Google