Petri net model based on neural network for deadlock control and fault detection and treatment in automated manufacturing systems

H Kaid, A Al-Ahmari, EA Nasr, A Al-Shayea… - IEEE …, 2020 - ieeexplore.ieee.org
… To address this issue, this paper proposes a novel three-step deadlock control strategy for
… This section presents the basics of Petri nets, concept of strict minimal siphon, deadlock

Robust deadlock avoidance and control of automated manufacturing systems with assembly operations using Petri nets

N Du, H Hu, MC Zhou - IEEE Transactions on Automation …, 2020 - ieeexplore.ieee.org
Deadlock resolution has been an important research topic in the field of automated manufacturing
systems … break down whereas only a few resolve the issues of resource failures in the …

Robust deadlock detection and control of automated manufacturing systems with multiple unreliable resources using Petri nets

N Du, H Hu - IEEE Transactions on Automation Science and …, 2020 - ieeexplore.ieee.org
… Hu and Zhou [19] developed a novel deadlock prevention method based on PNs to analyze
the system’s liveness by using structural analysis and a mathematical programming method, …

[HTML][HTML] Single controller-based colored Petri nets for deadlock control in automated manufacturing systems

H Kaid, A Al-Ahmari, Z Li, R Davidrajuh - Processes, 2019 - mdpi.com
… supervisor of the Petri net model. The objective of this study is to develop a two-step robust
deadlock control approach. In the first step, we use a method of deadlock prevention based …

On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets

HF Chen, NQ Wu, ZW Li, T Qu - ISA transactions, 2019 - Elsevier
deadlocks in an automated manufacturing system (AMS). With an AMS being modeled with
Petri nets, by the existing methods, … ILP, such a method is usually computationally prohibitive. …

On multi-step look-ahead deadlock prediction for automated manufacturing systems based on Petri nets

R Lin, Z Yu, X Shi, L Dong, EA Nasr - IEEE Access, 2020 - ieeexplore.ieee.org
Petri net reduction rules [49] to simplify a large Petri net model to obtain an optimal deadlock
… Seatzu, ‘‘A novel approach for constraint transformation in Petri nets with uncontrollable …

An agent-based flexible manufacturing system controller with Petri-net enabled algebraic deadlock avoidance

S Messinis, GC Vosniakos - Reports in Mechanical Engineering, 2020 - rme-journal.org
… All the agents were represented in Petri Nets and their message content in XML format. The
Flexible Manufacturing System of this work is based on 10 workflows referring to 10 different …

Deadlock control and fault detection and treatment in reconfigurable manufacturing systems using colored resource-oriented Petri nets based on neural network

H Kaid, A Al-Ahmari, Z Li, W Ameen - IEEE Access, 2021 - ieeexplore.ieee.org
Petri nets (PNs) are an excellent mathematical modeling tool widely used for deadlock control
in automated manufacturing systems (… conflict in automated manufacturing systems. Many …

Colored resource-oriented Petri nets for deadlock control and reliability design of automated manufacturing systems

A Al-Shayea, H Kaid, A Al-Ahmari, EA Nasr… - IEEE …, 2021 - ieeexplore.ieee.org
… control have become important issues in automated manufacturing systems (AMSs) with …
modelling approach and deadlock control based on colored resource-oriented timed Petri net (…

[HTML][HTML] Challenges in application of Petri nets in manufacturing systems

I Grobelna, A Karatkevich - Electronics, 2021 - mdpi.com
… research on deadlock avoidance with the older approaches, some of the novel methods can
… to our knowledge, deadlock recovery methods for Petri nets started to be developed during …