Abstract
ABSTRACTSiphon control has been utilized as a general methodology for systems of simple sequential process with resource (S3PR) deadlock systems. Although siphon control imposes additional control places on S3PR systems, it cannot guarantee that the maximum permissiveness is achieved. To solve the problem of deadlock prevention for S3PR, a new policy to design a deadlock-free supervisor with the maximally permissive system is proposed using additional transitions. Additionally, this approach can solve the problem of deadlock prevention for systems of sequential systems with shared resources (S4PR) system models.
Full Text
Published Version
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call