Petri Net-Based Robust Supervisory Control of Automated Manufacturing Systems With Multiple Unreliable Resources

Creative Commons License

Abubakar U. S., Liu G., Uzam M.

IEEE ACCESS, vol.9, pp.100264-100278, 2021 (SCI-Expanded) identifier identifier

  • Publication Type: Article / Article
  • Volume: 9
  • Publication Date: 2021
  • Doi Number: 10.1109/access.2021.3096595
  • Journal Name: IEEE ACCESS
  • Journal Indexes: Science Citation Index Expanded (SCI-EXPANDED), Scopus, Compendex, INSPEC, Directory of Open Access Journals
  • Page Numbers: pp.100264-100278
  • Keywords: Petri nets, System recovery, Supervisory control, Workstations, Aerospace electronics, Resource management, Manufacturing systems, Petri net, deadlock, automated manufacturing system, robust supervisory control, LIVENESS-ENFORCING SUPERVISORS, DEADLOCK PREVENTION POLICY, AVOIDING DEADLOCK, SIPHON CONTROL, ELEMENTARY, DECOMPOSITION, DESIGN
  • Yozgat Bozok University Affiliated: Yes


In recent years, there has been a growing concern for robust supervisory control policies that can handle both deadlock and blockage propagation in automated manufacturing systems in the event of resource failures. This work proposes a novel robust supervisory control policy for automated manufacturing systems with multiple unreliable resources without using central buffers. The policy permits legal states as many as possible and ensures that parts not requiring unreliable resources can be automatically processed without human intervention if one or multiple unreliable resources fail. It is based on the modified neighborhood policy, namely single route neighborhood, which handles the allocation of failure-prone resources in a system. To guarantee deadlock-free operations in the remaining parts of the system, monitors are designed for emptiable strictly minimal siphons. Through examples, the applicability of the proposed policy is demonstrated.