Deadlock-Irrelevant Resource in Petri Nets Models of Automated Manufacturing Systems

Based on Petri net models, this paper concerns the resources which have no connection with the occurrence of system deadlock in automated manufacturing systems. First, the resources concerned are formally defined as the Location-Special resources, because of their special locations. Second, it is proved that these resources have nothing to do with the structural characters, which are called perfect maximal resource-transition circuits and describe the resource circular wait situations. Hence force, these resources defined are deadlock-irrelevant.