Abstract:
The resource-transition net (RTN) N
R is the reduction form of N, which is the Petri net model of an automated manufacturing system (AMS). Thus, N
R 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 N
1 on R
1 (where R
1 is an arbitrary resource subset) of the RTN N
R is strongly connected, there must be a resource-transition circuit (RTC) with R
1 as its resource set (such as
θ=
1,(·R1∩R1·)>). In addition, if θ satisfies the perfection condition, the RTC θ is a Perfect Maximal Resource-Transition Circuit (PMRTC) of N.