Statecharts: A visual formalism for complex systems
Science of Computer Programming
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Structural and Dynamic Changes in Concurrent Systems: Reconfigurable Petri Nets
IEEE Transactions on Computers
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Computers and Industrial Engineering
Flow diagrams: rise and fall of the first software engineering notation
Diagrams'06 Proceedings of the 4th international conference on Diagrammatic Representation and Inference
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Ladder diagram and Petri-net-based discrete-event control design methods
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
IEEE Transactions on Systems, Man, and Cybernetics, Part C: Applications and Reviews
Control reconfiguration of discrete event systems controllers with partial observation
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Resource-Oriented Petri Net for Deadlock Avoidance in Flexible Assembly Systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Transformation of UML activity diagrams into analyzable systems and software blueprints construction
WSEAS Transactions on Information Science and Applications
Design of safe PLC programs by using Petri nets and formal methods
ICAI'10 Proceedings of the 11th WSEAS international conference on Automation & information
Logic control law design for automated manufacturing systems
Engineering Applications of Artificial Intelligence
Hi-index | 0.00 |
To respond rapidly to the highly volatile market, the emerging reconfigurable manufacturing systems (RMS) have brought forward two challenging issues, namely, how to build rapid a formal model of an initial manufacturing configuration and how to yield the goal model from the existing one along with manufacturing configuration changes (reconfiguration). As for the issues, we present in this paper a method for rapid design of Petri net (PN) formalized models of RMS, intended for supervisory control and logic control of RMS, as well as a method for automated reconfiguration of the models. Firstly, we present an improved net rewriting system (INRS) for dynamically operating net transformation, unlike its predecessor-net rewriting system, where the initial behavioral properties of the underlying PN rewritten can be preserved during the transformation. Subsequently, the paper proposes the three-phase method for rapid design of initial full PN models of reconfigurable manufacturing cells (RMCs). In this method, activity diagrams of Unified Modeling Languages version 2 (UML 2) are used to describe manufacturing configurations, firstly; then the sub-activity diagrams are transformed into PN sub-models; finally, the PN sub-models are automated synthesized into a full model by the approach of INRS. Further, we present a model reconfiguration method for this class of PN models. The method compares changes in activity diagrams of the existing and goal manufacturing configurations and converts them into net rewriting rules of INRS. By applying the rules obtained, the existing PN model can reconfigure into a new one for the goal manufacturing configuration. No matter the design method or the reconfiguration method, the behavioral properties of the obtained PN models, e.g., liveness, boundedness, or reversibility, can be guaranteed and thereby the efforts of verification can be avoided. Finally, rapid design of a PN model of a reconfigurable manufacturing cell, as well as its automated reconfiguration, is illustrated with the help of an example. The result indicates the validity of the methods.