Event Circular Waits and Their Analysis via Petri Nets
Deadlock control of automated manufacturing systems has been widely investigated in recent decades. According to classical Coffman theory, resource circular wait (RW) is viewed as a necessary condition for deadlocks to occur. However, the fact is not as simple as so. Counterexamples are presented to...
Main Authors: | , , |
---|---|
Format: | Article |
Language: | English |
Published: |
IEEE
2021-01-01
|
Series: | IEEE Access |
Subjects: | |
Online Access: | https://ieeexplore.ieee.org/document/9465130/ |