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

Property Analysis of the Resource-Transition Net of Petri Net Models for Automated Manufacturing Systems

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

The resource-transition net （RTN） NR is the reduction form of N, which is the Petri net model of an automated manufacturing system （AMS）. Thus, NR plays an important role in system deadlock analysis and control. After a couple of properties in resource-transition nets are summarized, conclusions are proposed as follows. If the inner sub-net N1 on R1 （where R1 is an arbitrary resource subset） of the RTN NR is strongly connected, there must be a resource-transition circuit （RTC） with R1 as its resource set （such as θ=R1,（·R1∩R1·））. In addition, if θ satisfies the perfection condition, the RTC θ is a Perfect Maximal Resource-Transition Circuit （PMRTC） of N.