Get started
Work

Siphon-Based Divide-and-Conquer Policy for Enforcing Liveness on Petri Net Models of FMS Suffering from Deadlocks or Livelocks

Year: 2025
Type: article
Abstract: A novel siphon-based divide-and-conquer (SbDaC) policy is presented in this paper for the synthesis of Petri net (PN) based liveness-enforcing supervisors (LES) for flexible manufacturing systems (FMS) prone to deadlocks or l... | Find, read and cite all the research you need on Tech Science Press
DOI: 10.32604/cmc.2025.069502
Authors: Murat Uzam, Bernard Berthomieu, Wei Wei, Yufeng Chen, Mohammed El-Meligy, Mohamed Abdel Fattah Sharaf
Institutions: Centre National de la Recherche Scientifique, Applied Science Private University, Xidian University, Laboratoire d'Analyse et d'Architecture des Systèmes, Jadara University, Yozgat Bozok Üniversitesi, King Saud University
Language: English
Open Access status: diamond
OpenAlex ID: W4413807218
FWCI:
Cites:
Cited by:
Related to: 10