摘要
可重构制造系统的建模是分析和控制可重构制造系统的关键技术 ,而可重构制造系统中的设备建模是可重构制造系统建模的基础。本文提出面向可重构制造系统的设备的赋时面向对象 Petri网模型 ,并通过实例研究证实了其正确性。面向可重构制造系统的设备的赋时面向对象 Petri网模型能够表示可重构制造系统重构前后设备的作业安排的变化情况 ,因此它是可重构制造系统中设备的正确的形式化表示。
The modeling is the key technology for analyses and control of a reconfigurable manufacturing system and the equipment modeling constructs the basis of the system modeling technology. Timed object-oriented Petri net of the equipment is suggested for reconfigurable manufacturing system. An example of the timed object-oriented Petri net of the equipment is given to demonstrate the variations of work assignment undertaken by the equipment after the system being reconfigured. By researches above, it is indicated that the model of timed object-oriented Petri net of the equipment is a correct formalization of the equipment in reconfigurable manufacturing system.
出处
《南京航空航天大学学报》
EI
CAS
CSCD
北大核心
2004年第2期195-199,共5页
Journal of Nanjing University of Aeronautics & Astronautics
基金
江苏省博士后科学基金 (2 0 0 2 0 1 0 5 )资助项目
关键词
可重构制造系统
赋时面向对象Petri网模型
建模
设备
reconfigurable manufacturing system
equipment modeling
object-oriented Petri net
timed object-oriented Petri net
