Abstract
Reconfigurable manufacturing systems can change the structure of the systems to cope with manufacturing market requirements. Reconfigurability brings about new challenges for reconfigurable manufacturing systems’ development. In order to describe, analyze, and verify the reconfiguration of reconfigurable manufacturing systems, a reconfigurable manufacturing system formal model is proposed from the perspective of multi-agent systems, in which two complementary formalisms, namely, object-oriented Petri nets and π-calculus, are employed as formalisms. The object-oriented Petri nets are utilized to model the initial structure as well as system behaviors of reconfigurable manufacturing systems, while π-calculus is adopted to describe the reconfiguration of reconfigurable manufacturing systems. Some supporting tools of Petri nets and π-calculus can be used to analyze, verify, and validate the reconfigurable manufacturing system formal model. The reconfigurability mechanism and consistency of reconfigurable manufacturing systems can also be analyzed by π-calculus.
Highlights
Driven by a highly volatile market, traditional manufacturing systems have to improve the capacity to meet the new requirements
An automated manufacturing system (AMS) has emerged as a new pattern of manufacturing systems, which is a computercontrolled system revealing a high level of resource sharing.[1]
A typical reconfigurable manufacturing systems (RMSs) consists of reconfigurable machine tools (RMTs), 1School of Information and Navigation, Air Force Engineering University, Xi’an, China 2School of Aeronautics and Astronautics Engineering, Air Force Engineering University, Xi’an, China 3Xi’an Institute of Applied Optics, Xi’an, China
Summary
Driven by a highly volatile market, traditional manufacturing systems have to improve the capacity to meet the new requirements. RMS control systems can be designed directly from RMSFM specifying the control logic of RMSs. Petri nets are an excellent graphical modeling tool that can depict the static structure and behaviors of a system. The addition process of an agent is NewMachine(id, s) = Add(id, s) ð3Þ It means that a new machine is added with identifier id and function s which consists of the name and capability. The entire dynamic process of the function requiring and providing is described as follows It means that the connecting agent receives the new function by the channel register, and a and b are the private names. Extended semantic update means that the new agent in RMS control systems may provide new functions and interfaces to improve the system performance. RMSs can meet the new product requirements by the entity agent update and exhibit these capabilities of responsiveness, flexibility, and reconfigurability. We can prove Theorem 2 from Theorem 1, and the proof is omitted here
Sign-in/Register to view highlights & summary Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
