Analysis On Modeling And Deadlock For The Manufacturing Cell Control System Based On NCES Model

The Control of Manufacturing Cell(CMC)refers to achieve manufacturing cell technology and management control in the process of raw materials into parts and components into products. With the changing of market demand and the development of industrial technology, the requirement of respond rapidly to market changes and maintain the system stability is increasingly higher for the manufacturing industry. It is very difficult to manage and predict the CMC. As a result, it is of great importance to establish a reliable, robust and easy analysis model for CMC system to inspect system design and improve its efficiency. In this paper, we present a CMC system modeling and analysis method based on the function block, aiming to realize the real-time dynamic reconfiguration of CMC system, with a prototype modeling to quickly understand the structure and operation of the unit control system, so that we can discovery the system problems in equipment layout, resource allocation and process control and other aspects.In the aspect of constructing the system model, in order to have a better modularity, reusability, maintainability, the IEC61499which used for he IPMCS (Industry Process Measurement and control System) will be brought in the modeling of bottom device and propose the concept of a composite function blocks in real time to adapt dynamically reconfigurable generic virtual manufacturing device (VMD). On this basis, build a hybrid control architecture based on a composite function blocks, making the implementation of internal control and reconfigurable control unit control the system parallel execution can be achieved.In dynamic modeling system, we put forward the formal definition, modeling and analysis methods of EONCES (Extended Object-oriented NCES) by combining the network conditions/event system (NCES) model and Expand object-oriented Petri-nets techniques: firstly, given the construction method of of each VMD complex network conditions/event model(NCEM) and modeling steps of combined with extended object-oriented Petri-nets; secondly, propose the universal decomposition algorithm of unit control system EONCES model and analyze the above models so as to put them into the dynamic analysis of system model; thirdly, propose a deadlock detection algorithm for EONCEM and system EONCES model based on VMD composite function blocks, and used the algorithm model of appeal for deadlock detection analysis.Finally, on the basis of the proposed modeling method and analysis theory, we combined with different parts of the process within the cell system dynamic modeling and analysis by a true manufacturing cell control system for the study. Then, we prove the feasibility and effectiveness of above modeling theory and analysis from the angle of the detailed design of underlying device model to the system in different parts of the workflow model, then to the deadlock detection of analysis process.