Brief paper: Maximally permissive supervisor synthesis based on a new constraint transformation method

Authors:
Jiliang Luo;Hui Shao;Kenzo Nonami;Fujiang Jin
Affiliations:
College of Information Science and Engineering, Huaqiao University, Xiamen, Fujian 361021, China;College of Information Science and Engineering, Huaqiao University, Xiamen, Fujian 361021, China;Department of Mechanical Engineering, Chiba University, Chiba 263-8522, Japan;College of Information Science and Engineering, Huaqiao University, Xiamen, Fujian 361021, China
Venue:
Automatica (Journal of IFAC)
Year:
2012

Citing 7
Cited 0

Feedback control of Petri nets based on place invariants

Automatica (Journal of IFAC)
A Survey of Petri Net Methods for Controlled Discrete EventSystems

Discrete Event Dynamic Systems
Supervision Based on Place Invariants: A Survey

Discrete Event Dynamic Systems
Brief paper: Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

Automatica (Journal of IFAC)
Reduction of constraints for controller synthesis based on safe Petri Nets

Automatica (Journal of IFAC)
Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
A Survey and Comparison of Petri Net-Based Deadlock Prevention Policies for Flexible Manufacturing Systems

IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews

Quantified Score

Hi-index	22.14

Visualization

Abstract

The method is proposed to design the maximally permissive and efficient supervisor for enforcing linear constraints, in which the weights of places are not negative, on ordinary Petri nets with uncontrollable transitions. First, the weakly admissible linear constraint is introduced. Second, a method is proposed to design the monitor place for enforcing a weakly admissible linear constraint on Petri nets. Third, a theorem proving that a linear constraint can be equivalently transformed at an uncontrollable transition into a disjunction of new constraints is proposed. Fourth, using this theorem, an algorithm is presented to equivalently transform a linear constraint, each place weight of which is not negative, into a disjunction of weakly admissible ones. Lastly, the supervisor, which consists of the plant net and a set of monitor places, is designed for the weakly admissible linear constraints calculated by the above algorithm.