Yen-Liang Pan

Learn More
A transition-controlled deadlock detection and recovery prevention policy is presented for a subclass of Petri nets used to model flexible manufacturing systems. The subclass is called systems of simple sequential processes with resources (S<sup>3</sup>PR). The proposed policy is different from the standard deadlock prevention policies. Instead of adding(More)
The theory of regions has been recognized as the optimal deadlock prevention policy based on the marking/transition-separation instance (MTSI) or the event-state-separation-problem (ESSP) method for obtaining a maximally permissive controller in existing literature. All legal and live maximal behavior of the Petri nets model can be held by using above(More)
© 2012 Pan, licensee InTech. This is an open access chapter distributed under the terms of the Creative Commons Attribution License (, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. A Computationally Improved Optimal Solution for(More)
1 Department of Avionic Engineering, Air Force Academy, Taiwan 2Department of Electronic Engineering, National Ilan University, Taiwan 3Department of Electronic Engineering, Army Academy, Taiwan 4 State Key Laboratory of Industrial Control Technology and Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou 310027, China 5 Department of(More)