Dynamically colored petri net representation of nonlinear sampled-data systems with embedded recovery algorithms | IEEE Conference Publication | IEEE Xplore