自动制造系统Petri网模型的资源变迁网性质分析
资源变迁网NR是自动制造系统Petri网模型N的简化形式,在系统死锁的分析与控制中有重要作用.文中总结了资源变迁网的若干性质,并指出:对于任意一个非空资源子集R1,若资源变迁网NR关于R1的内连子网N1=NR”R1 ∪(”R1 ∩ R1”)”是强连通的,则一定存在以R1为资源集的资源变迁回路,特别地,θ=<R1,(”R1∩R1”)>就是其中一个.进一步,若θ又满足完美条件,则θ即为N的一个完美极大资源变迁回路.
Petri网 自动制造系统 资源变迁
岳昊
漳州师范学院,计算机科学与工程系,福建,漳州,363000
国内会议
乌鲁木齐
中文
230-234
2010-08-19(万方平台首次上网日期,不代表论文的发表时间)