Simulation and analysis of reconfigurable assembly systems based on R-TNCES

ABSTRACT Recent research indicates that dynamic reconfiguration techniques can be applied to manufacturing systems to reduce energy consumption by switching energy-intensive components in a timely manner between their working and idle modes during system runtime because these components consume less energy in their idle modes than in their working modes. The current work studies reconfigurable assembly systems with such dynamic reconfiguration techniques by abstracting them as reconfigurable discrete event systems, considering only their logic behavior and properties. The formalism, R-TNCES (reconfigurable timed net condition/event systems), a modular extension of the well-known Petri nets, is used as a system modeling and analysis tool. The simulation of system global reconfigurations is guided by command inserting, whereas the simulation of local reconfigurations is automatic because their execution time is computed a priori by a proposed algorithm. Finally, qualitative properties specified by computation tree logic and quantitative analysis regarding energy-efficiency are performed by using the software SESA.

[1]  Armando W. Colombo,et al.  Energy aware knowledge extraction from Petri nets supporting decision-making in service-oriented automation , 2010, 2010 IEEE International Symposium on Industrial Electronics.

[2]  Cheng Pang,et al.  Automatic model generation of IEC 61499 function block using net condition/event systems , 2008, 2008 6th IEEE International Conference on Industrial Informatics.

[3]  MengChu Zhou,et al.  Intelligent token Petri nets for modelling and control of reconfigurable automated manufacturing systems with dynamical changes , 2011 .

[4]  Hu-Chen Liu,et al.  Fuzzy Petri nets for knowledge representation and reasoning: A literature review , 2017, Eng. Appl. Artif. Intell..

[5]  Brian Rodrigues,et al.  Modelling reconfigurable manufacturing systems with coloured timed Petri nets , 2009 .

[6]  Ting Qu,et al.  Analysis and Control of Dynamic Reconfiguration Processes of Manufacturing Systems , 2018, IEEE Access.

[7]  Dmitry A. Zaitsev Composition of Functional Petri Nets , 2013 .

[8]  Dawn M. Tilbury,et al.  Event-Condition-Action Systems for Reconfigurable Logic Control , 2007, IEEE Transactions on Automation Science and Engineering.

[9]  H.-M. Hanisch,et al.  Modeling of PLC behavior by means of timed net condition/event systems , 1997, 1997 IEEE 6th International Conference on Emerging Technologies and Factory Automation Proceedings, EFTA '97.

[10]  Alessandro Giua,et al.  Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem , 2017, IEEE Transactions on Automatic Control.

[11]  Murat Uzam,et al.  A divide-and-conquer-method for the synthesis of liveness enforcing supervisors for flexible manufacturing systems , 2016, J. Intell. Manuf..

[12]  Alessandro Giua,et al.  On the Equivalence of Observation Structures for Petri Net Generators , 2016, IEEE Transactions on Automatic Control.

[13]  Alessandro Giua,et al.  Verification of State-Based Opacity Using Petri Nets , 2017, IEEE Transactions on Automatic Control.

[14]  MengChu Zhou,et al.  Scheduling of Single-Arm Cluster Tools for an Atomic Layer Deposition Process With Residency Time Constraints , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[15]  F. Musharavati RECONFIGURABLE MANUFACTURING SYSTEMS , 2010 .

[16]  Xi Wang,et al.  Dynamic Multiple-Period Reconfiguration of Real-Time Scheduling Based on Timed DES Supervisory Control , 2016, IEEE Transactions on Industrial Informatics.

[17]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[18]  Alessandro Giua,et al.  Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations , 2017, IEEE Transactions on Automatic Control.

[19]  Reimund Neugebauer,et al.  Structure principles of energy efficient machine tools , 2011 .

[20]  Rüdiger Valk Self-Modifying Nets, a Natural Extension of Petri Nets , 1978, ICALP.

[21]  Olfa Mosbahi,et al.  Reconfigurable Coordination of Distributed Discrete Event Control Systems , 2015, IEEE Transactions on Control Systems Technology.

[22]  Marisa Llorens,et al.  Structural and dynamic changes in concurrent systems: reconfigurable Petri nets , 2004, IEEE Transactions on Computers.

[23]  Felix Felgner,et al.  A biomass combustion plant model for optimal control applications - The effect of key variables on combustion dynamics , 2015, IREC2015 The Sixth International Renewable Energy Congress.

[24]  Lars Michael Kristensen,et al.  Coloured Petri Nets - Modelling and Validation of Concurrent Systems , 2009 .

[25]  Yoram Koren,et al.  Reconfigurable Manufacturing Systems , 2003 .

[26]  Xianzhong Dai,et al.  Automatic Reconfiguration of Petri Net Controllers for Reconfigurable Manufacturing Systems With an Improved Net Rewriting System-Based Approach , 2009, IEEE Transactions on Automation Science and Engineering.

[27]  Jörg P. Müller,et al.  Networked priced timed automata for energy-efficient factory automation , 2012, 2012 American Control Conference (ACC).

[28]  Günther Seliger,et al.  Methodology for planning and operating energy-efficient production systems , 2011 .

[29]  Mi Zhao,et al.  On Controllability of Dependent Siphons for Deadlock Prevention in Generalized Petri Nets , 2008, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[30]  Olfa Mosbahi,et al.  R-TNCES: A Novel Formalism for Reconfigurable Discrete Event Control Systems , 2013, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[31]  MengChu Zhou,et al.  Dynamic Low-Power Reconfiguration of Real-Time Systems With Periodic and Probabilistic Tasks , 2015, IEEE Transactions on Automation Science and Engineering.

[32]  Abdulrahman Al-Ahmari,et al.  Deadlock recovery for flexible manufacturing systems modeled with Petri nets , 2017, Inf. Sci..

[33]  Klaus Werner Schmidt Reconfigurability of behavioural specifications for manufacturing systems , 2017, Int. J. Control.

[34]  Farhad Arbab,et al.  Supervisory Controller Synthesis for Safe Software Adaptation , 2014, WODES.

[35]  MengChu Zhou,et al.  Deadlock Prevention Based on Structure Reuse of Petri Net Supervisors for Flexible Manufacturing Systems , 2012, IEEE Transactions on Systems, Man, and Cybernetics - Part A: Systems and Humans.

[36]  Stephan Merz,et al.  Model Checking , 2000 .

[37]  Kamel Barkaoui,et al.  Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor Arcs , 2017, IEEE Transactions on Systems, Man, and Cybernetics: Systems.

[38]  Wassim Mohamed Boussahel,et al.  Modeling and Verification of Reconfigurable and Energy-Efficient Manufacturing Systems , 2015 .

[39]  Ioan Dumitrache,et al.  Intelligent agent-based control systems in manufacturing , 2000, Proceedings of the 2000 IEEE International Symposium on Intelligent Control. Held jointly with the 8th IEEE Mediterranean Conference on Control and Automation (Cat. No.00CH37147).

[40]  Kamel Barkaoui,et al.  On the enforcement of a class of nonlinear constraints on Petri nets , 2015, Autom..

[41]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[42]  Jana Kosecka,et al.  Control of Discrete Event Systems , 1992 .