Petri Net controller synthesis based on decomposed manufacturing models

• Published in: ISA transactions 2018-06, Vol.77, p.90-99
• Main Authors: Dideban, Abbas, Zeraatkar, Hashem
• Format: Article
• Language: English
• Subjects: Decomposed model; Discrete event systems; Petri net; Place invariant; Supervisory control
• ISSN: 0019-0578; 1879-2022
• DOI: 10.1016/j.isatra.2018.04.008

Utilizing of supervisory control theory on the real systems in many modeling tools such as Petri Net (PN) becomes challenging in recent years due to the significant states in the automata models or uncontrollable events. The uncontrollable events initiate the forbidden states which might be removed by employing some linear constraints. Although there are many methods which have been proposed to reduce these constraints, enforcing them to a large-scale system is very difficult and complicated. This paper proposes a new method for controller synthesis based on PN modeling. In this approach, the original PN model is broken down into some smaller models in which the computational cost reduces significantly. Using this method, it is easy to reduce and enforce the constraints to a Petri net model. The appropriate results of our proposed method on the PN models denote worthy controller synthesis for the large scale systems. •We propose a new useful method for controller synthesis in Discrete Event systems.•We synthesize a controller by breaking-down the model using P-invariant property.•We calculated the controller for each zone separately whenever possible.•The results show that this method has a very low computational cost and it is worthy when the model is in a large scale.•This method is applicable for resolving the problem of forbidden states in existence of uncontrollable transitions.