Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes | IEEE Conference Publication | IEEE Xplore