Deadlock recovery of Petri net models controlled using observers | IEEE Conference Publication | IEEE Xplore