自动制造系统Petri网模型的资源变迁网性质分析

摘要

资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出:对于任意一个非空资源子集R1,若资源变迁网NR关于R1的内连子网N1=NR[R1 ∪('R1 ∩ R1')]是强连通的,则一定存在以R1为资源集的资源变迁回路,特别地,θ=就是其中一个.进一步,若θ又满足完美条件,则θ即为N的一个完美极大资源变迁回路.