Supervisor synthesis for enforcing a class of generalized mutual exclusion constraints on petri nets

  • Authors:

  • Jiliang Luo;Weimin Wu;Hongye Su;Jian Chu

  • Affiliations:

  • Institute of Information Science and Engineering, Huaqiao University, Xiamen, China;State Key Laboratory of Industrial Control Technology, Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou, China;State Key Laboratory of Industrial Control Technology, Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou, China;State Key Laboratory of Industrial Control Technology, Institute of Cyber-Systems and Control, Zhejiang University, Hangzhou, China

  • Venue:
  • IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

The considered class of generalized mutual exclusion constraints (GMECs) on a controlled Petri net are such that the influence-uncontrollable subnets are forward-concurrent-free nets. Some structural properties of forward-concurrent-free nets are firstly proposed. Utilizing these properties, a method is then proposed to transform a given conjunction of GMECs into a conjunction of admissible GMECs. Furthermore, the necessary and sufficient condition of the existence of the permissive supervisor is obtained, and the optimal supervisor with a complexity of polynomial time is designed. The theoretic results are illustrated by an example that synthesizes a maximally permissive supervisor for a manufacturing system.