%0 Journal Article %A LI Haiyan1 %A WANG Yanping1 %A ZHOU Jianyong2 %A LIU Jiufu2 %T Design of deadlock supervisor of partially controllable Petri nets %D 2018 %R 10.3778/j.issn.1002-8331.1701-0157 %J Computer Engineering and Applications %P 48-54 %V 54 %N 8 %X In order to achieve deadlock avoidance and make the most use of resource in Flexible Manufacturing System(FMS), this paper presents the branch and bound method for optimal supervisor. The method builds the distributed monitor through multi control sites, detects the global state space through the behavior-feasible and distribution-feasible, builds the linear programming model to gain maximum legal state set. Finally, the model of FMS is built with Petri net. Based on the occupation and release of resource in the machining process, the centralized supervisor and distributed supervisors are designed, respectively. The distributed supervisors can effectively avoid deadlock. %U http://cea.ceaj.org/EN/10.3778/j.issn.1002-8331.1701-0157