Simulation and analysis of reconfigurable assembly systems based on R-TNCES
暂无分享,去创建一个
[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 .