摘要
在自动制造系统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.
出处
《吉林师范大学学报（自然科学版）》
2010年第4期59-62,共4页
Journal of Jilin Normal University:Natural Science Edition
基金
福建省教育厅资助科技项目(JK2010037)
国家自然科学基金资助项目(60673053)
