自动制造系统Petri网模型中的分叉操作库所  

Split Operation Places in Petri Net Models of Automated Manufacturing Systems

作　　者：岳昊[1] 李文杰[2,3] 

机构地区：[1]漳州师范学院计算机科学与工程系,福建漳州3630000 [2]山东科技大学机电学院,山东青岛266510 [3]西北核技术研究所,陕西西安710065

出　　处：《吉林师范大学学报（自然科学版）》2010年第4期59-62,共4页Journal of Jilin Normal University:Natural Science Edition

基　　金：福建省教育厅资助科技项目(JK2010037);国家自然科学基金资助项目(60673053)

摘　　要：在自动制造系统Petri网模型中,分叉操作库所是资源变迁回路(Resource-Transition Circuit,简称RTC)发生不完美性的根源.若没有分叉操作库所,则所有的RTC都是完美的.对于一个资源子集R1,若存在以R1为资源集的RTC,则θ=<R1,(.R1∩R1.)>就是以R1为资源集的完美极大资源变迁回路(Perfect Maximal Resource-Transition Circuit,简称PMRTC).The split operation place is the reason that causes non-perfection of the resource transition circuit（RTC for short） in Petri net models of automated manufacturing systems.If there are no split operation places,all the RTCs are perfects.If there exits a RTC with R1（where R1 is an arbitrary resource subset） as its resource set,θ=R1,（·R1∩R1·） is the Perfect Maximal Resource-Transition Circuit（PMRTC for short） of N with R1 as its resource set.

关 键 词：PETRI网 制造系统 库所 回路 完美 

分 类 号：TP27[自动化与计算机技术—检测技术与自动化装置]