在自动制造系统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.