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. Fundamenta Informaticae, 143(3-4):207-234, 2016. [doi]

Abstract

Abstract is missing.