基于赋时可重构Petri网的可重构制造系统建模

 系统建模是可重构制造系统生产管理控制技术的基础。分析了可重构制造系统的建模需求,提出基于赋时可重构Petri网的可重构制造系统建模的方法。该建模方法是先建立可重构制造系统当前系统的赋时可重构Petri网模型,再通过修改其建模元素得到可重构制造系统重构后系统的赋时可重构Petri网模型。实例研究表明基于赋时可重构Petri网的可重构制造系统建模方法能够满足可重构制造系统的建模需求,因此它是可重构制造系统的正确的形式化表示。

Timed Reconfigurable Petri Net-Based Modeling of Reconfigurable Manufacturing System

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.