Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions

Meng Qin, Zhiwu Li, MengChu Zhou, Mohamed Khalgui, Olfa Mosbahi. Deadlock Prevention for a Class of Petri Nets With Uncontrollable and Unobservable Transitions. IEEE Transactions on Systems, Man, and Cybernetics, Part A, 42(3):727-738, 2012. [doi]

Abstract

Abstract is missing.