Compute Optimization of Petri Net Controllers Using the Algebraic Method
Source abstract
Abstract
This study attempted to calculate an optimal Petri net supervisor able to respect the control specifications imposed for a flexible manufacturing system. There are several theories around the control synthesis of discrete event systems. Unfortunately, these methods are very sensitive to the combinatorial explosion of states in the generated graph, especially when the complexity of the system increases. It is therefore necessary to move towards new ways based on formal methods allowing the synthesis of a supervisor. In this work, we propose an algebraic approach using the theory of regions. Our main contribution is to design a set of Petri net controllers based on the properties of Petri nets and not on reachability graph generation for bounded Petri nets. This will decrease significantly the production cost of the manufacturing system, since the computation burden of the supervisor is reduced. Our control policy was applied to a flexible manufacturing system implemented in our laboratory. Comparisons with previous studies using CPLEX software are provided in order to illustrate the effectiveness of our proposed method.
Source: crossref · Quality: baseline
Research context
OpenAlex topics: Petri Nets in System Modeling · Business Process Modeling and Analysis · Formal Methods in Verification
SciVX discovery tags are terminology-based. OpenAlex topics are source-provided classifications.
Affiliations
Laboratoire de Génie Informatique, de Production et de Maintenance, UFR MIM, Université de Lorraine, 57000 Metz, France
References (30)
Show source-provided references
1. Petri nets: Properties, analysis and applications10.1109/5.24143 ↗
2. Ramadge, P.J., and Wonham, W.M. (1986). Modular supervisory control of discrete event systems. Analysis and Optimization of Systems, Springer.10.1007/BFb0007558 ↗
3. Supervisory control of a class of discrete event processes10.1137/0325013 ↗
4. A hybrid approach to supervisory control of discrete event systems coupling RW supervisors to Petri nets10.1007/s00170-004-2426-7 ↗
5. Dideban, A., and Alla, H. (2007, January 11–13). Determination of minimal sets of control places for safe Petri nets. Proceedings of the ACC07 American Control Conference, New York, NY, USA.10.1109/ACC.2007.4282215 ↗
6. Reduction of constraints for controller synthesis based on safe Petri nets10.1016/j.automatica.2007.10.031 ↗
7. Concurrency bugs in multithreaded software: Modeling and analysis using Petri nets10.1007/s10626-012-0139-x ↗
8. Designing compact and maximally permissive deadlock avoidance policies for complex resource allocation systems through classification theory: The linear case10.1109/TAC.2010.2095612 ↗
9. Ghaffari, A., Rezg, N., and Xie, X. (2002, January 2–4). Algebraic and geometric characterization of Petri net controllers using the theory of regions. Proceedings of the Sixth International Workshop on Discrete Event Systems, Zaragoza, Spain.
10. Design of a live and maximally permissive Petri net controller using the theory of regions10.1109/TRA.2002.807555 ↗
11. Ghaffari, A., Rezg, N., and Xie, X. (2002). Live and maximally permissive controller synthesis using theory of regions. Synthesis and Control of Discrete Event Systems, Springer.10.1007/978-1-4757-6656-1_10 ↗
12. Feedback control logic for forbidden-state problems of marked graphs: Application to a real manufacturing system10.1109/TAC.2002.806651 ↗
13. Structural decomposition and decentralized control of Petri nets10.1109/TSMC.2017.2703950 ↗
14. First-order hybrid Petri nets: A model for optimization and control10.1109/70.864231 ↗
15. Management of intermodal freight terminals by first-order hybrid Petri nets10.1109/LRA.2015.2502905 ↗
16. Zhou, M. (2012). Petri Nets in Flexible and Agile Automation, Springer Science & Business Media.
17. Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems10.1109/TASE.2010.2060332 ↗
18. Zhao, M., Uzam, M., and Hou, Y. (2014, January 22). A divide-and-conquer method for the synthesis of non-blocking supervisors for flexible manufacturing systems. Proceedings of the 2014 IEEE International Conference on Automation Science and Engineering (CASE), Madison, WI, USA.10.1109/CoASE.2014.6899365 ↗
19. Identification and elimination of redundant control places in Petri net based liveness enforcing supervisors of FMS10.1007/s00170-006-0701-5 ↗
20. An improved iterative synthesis method for liveness enforcing supervisors of flexible manufacturing systems10.1080/00207540500431321 ↗
21. On controllability of dependent siphons for deadlock prevention in generalized Petri nets10.1109/TSMCA.2007.914741 ↗
22. An improved maximally permissive deadlock prevention policy based on the theory of regions and reduction approach10.1049/iet-cta.2010.0371 ↗
23. The real-time supervisory control of an experimental manufacturing system based on a hybrid method10.1016/j.conengprac.2009.05.004 ↗
24. Deadlock avoidance in sequential resource allocation systems with multiple resource acquisitions and flexible routings10.1109/9.956052 ↗
25. Rezig, S., Achour, Z., and Rezg, N. (2014, January 16–19). Control synthesis based on reachability graph with minimal cuts: Application to a flexible manufacturing system. Proceedings of the 2014 IEEE Emerging Technology and Factory Automation (ETFA), Barcelona, Spain.10.1109/ETFA.2014.7005299 ↗
26. Rezig, S., Achour, Z., Rezg, N., and Kammoun, M.A. (2014, January 9–12). Optimal control synthesis for a flexible manufacturing system based on minimal cuts. Proceedings of the 2014 IEEE International Conference on Industrial Engineering and Engineering Management, Malaysia.10.1109/IEEM.2014.7058639 ↗
27. Rezig, S., Achour, Z., and Rezg, N. (2017). Theory of Regions for Control Synthesis without Computing Reachability Graph. Appl. Sci., 7.10.3390/app7030270 ↗
28. Supervisory control based on minimal cuts and Petri net sub-controllers coordination10.1080/00207721.2015.1076903 ↗
29. Control Synthesis Based On Theory of Regions with Minimal Reachability Graph Knowledge10.1016/j.ifacol.2016.07.759 ↗
30. Giua, A., DiCesare, F., and Silva, M. (1992, January 18–21). Generalized mutual exclusion contraints on nets with uncontrollable transitions. Proceedings of the 1992 IEEE International Conference on Systems, Man and Cybernetics, Chicago, IL, USA.