Abstract: The modeling of system is the key technology of the production management and control of reconfigurable manufacturing system. Consequently the modeling requirements of reconfigurable manufacturing system are analyzed. The modeling methodology based on timed reconfigurable Petri nets is then suggested for reconfigurable manufacturing system. With the methodology given above, the timed reconfigurable Petri nets of the current system of reconfigurable manufacturing system are built firstly, then modeling elements are revised to reconfigure the reconfigurable manufacturing system. An example of the timed reconfigurable Petri nets of reconfigurable manufacturing system is given to demonstrate the variations of modeling element after the reconfigurable manufacturing system is reconfigured. By the above research, it is indicated that the model of timed reconfigurable Petri nets of reconfigurable manufacturing system built in this paper is one of the correct formalization of reconfigurable manufacturing systems.

Key words: aircraft manufacturing technology, modeling, timed reconfigurable Petri net, reconfigurable manufacturing system, timed object-oriented Petri net