A method to compute strict minimal siphons in a class of Petri nets based on loop resource subsets
Strict minimal siphons (SMS) play an important role in the development of deadlock control
policies for flexible manufacturing systems (FMS). For a class of Petri nets called Systems of …
policies for flexible manufacturing systems (FMS). For a class of Petri nets called Systems of …
Modeling and validating e-commerce business process based on Petri nets
WY Yu, CG Yan, ZJ Ding, CJ Jiang… - IEEE Transactions on …, 2013 - ieeexplore.ieee.org
E-commerce and online shopping with a third-party payment platform have rapidly
developed recently, and encountered many fault tolerance and security problems concerned …
developed recently, and encountered many fault tolerance and security problems concerned …
Strict minimal siphon-based colored Petri net supervisor synthesis for automated manufacturing systems with unreliable resources
A Al-Ahmari, H Kaid, Z Li, R Davidrajuh - IEEE Access, 2020 - ieeexplore.ieee.org
Various deadlock control policies for automated manufacturing systems with reliable and
shared resources have been developed, based on Petri nets. In practical applications, a …
shared resources have been developed, based on Petri nets. In practical applications, a …
[图书][B] Recent advances in learning automata
A Rezvanian, AM Saghiri, SM Vahidipour… - 2018 - Springer
This book is written for computer engineers, scientists, and students studying/working in
reinforcement learning and artificial intelligence domains. The book collects recent …
reinforcement learning and artificial intelligence domains. The book collects recent …
Probability evaluation models of product disassembly cost subject to random removal time and different removal labor cost
G Tian, MC Zhou, J Chu, Y Liu - IEEE Transactions on …, 2012 - ieeexplore.ieee.org
Disassembly is a systematic method to separate an end-of-life product into its constituent
parts and components. However, the disassembly process of products can experience great …
parts and components. However, the disassembly process of products can experience great …
Adaptive deadlock control for a class of Petri nets with unreliable resources
Z Zhang, G Liu, K Barkaoui, Z Li - IEEE Transactions on …, 2021 - ieeexplore.ieee.org
In an automated manufacturing system (AMS), resources are, in general, subject to
unpredictable failures, which invalidate many existing deadlock control strategies. In this …
unpredictable failures, which invalidate many existing deadlock control strategies. In this …
Petri net model based on neural network for deadlock control and fault detection and treatment in automated manufacturing systems
Previously, different deadlock control strategies for automated manufacturing systems
(AMSs) based on Petri Nets with reliable resources have been proposed. However, in real …
(AMSs) based on Petri Nets with reliable resources have been proposed. However, in real …
Improved multi-step look-ahead control policies for automated manufacturing systems
The deadlock control problem in automated manufacturing systems (AMSs) has received
much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets …
much attention in recent years due to the flexibility of an AMS. In the framework of Petri nets …
Analysis of wafer sojourn time in dual-arm cluster tools with residency time constraint and activity time variation
When scheduling cluster tools under wafer residency time constraints, wafer sojourn time in
a processing module should be carefully controlled such that it is in a permissive range …
a processing module should be carefully controlled such that it is in a permissive range …
Liveness of an extended S3PR
D Liu, ZW Li, MC Zhou - Automatica, 2010 - Elsevier
Most existing prevention methods tackle the deadlock issue arising in flexible manufacturing
systems modeled with Petri nets by adding monitors and arcs. Instead, this paper presents a …
systems modeled with Petri nets by adding monitors and arcs. Instead, this paper presents a …