Deadlock control of automated manufacturing systems based on Petri nets—A literature review
Deadlocks are a rather undesirable situation in a highly automated flexible manufacturing
system. Their occurrences often deteriorate the utilization of resources and may lead to …
system. Their occurrences often deteriorate the utilization of resources and may lead to …
Scheduling of resource allocation systems with timed Petri nets: A Survey
Resource allocation systems (RASs) belong to a kind of discrete event system commonly
seen in the industry. In such systems, available resources are allocated to concurrently …
seen in the industry. In such systems, available resources are allocated to concurrently …
Heuristic scheduling of batch production processes based on petri nets and iterated greedy algorithms
Wire rod and bar rolling is an important batch production process in steel production
systems. A scheduling problem originated from this process is studied in this work by …
systems. A scheduling problem originated from this process is studied in this work by …
Pareto-optimization for scheduling of crude oil operations in refinery via genetic algorithm
With the interaction of discrete-event and continuous processes, it is challenging to schedule
crude oil operations in a refinery. This paper studies the optimization problem of finding a …
crude oil operations in a refinery. This paper studies the optimization problem of finding a …
Patient flow modeling and optimal staffing for emergency departments: A Petri net approach
J Wang - IEEE Transactions on Computational Social Systems, 2022 - ieeexplore.ieee.org
Patient flow is the movement of patients through a healthcare facility. Over the past decades,
healthcare service providers have spent tremendous effort in optimizing patient flow and …
healthcare service providers have spent tremendous effort in optimizing patient flow and …
Design of a maximally permissive liveness-enforcing Petri net supervisor for flexible manufacturing systems
YF Chen, ZW Li, M Khalgui… - IEEE Transactions on …, 2010 - ieeexplore.ieee.org
Deadlock prevention plays an important role in the modeling and control of flexible
manufacturing systems (FMS). This paper presents a novel and computationally efficient …
manufacturing systems (FMS). This paper presents a novel and computationally efficient …
Schedulability analysis and optimal scheduling of dual-arm cluster tools with residency time constraint and activity time variation
With wafer residency time constraint of cluster tools in semiconductor manufacturing, activity
time variation can make an originally feasible schedule infeasible. Thus, it is difficult to …
time variation can make an originally feasible schedule infeasible. Thus, it is difficult to …
Process modeling for smart factories: using science mapping to understand the strategic themes, main challenges and future trends
Purpose The purpose of this paper is to identify the relationships between process modeling
and Industry 4.0, the strategic themes and the most used process modeling language in …
and Industry 4.0, the strategic themes and the most used process modeling language in …
Optimal one-wafer cyclic scheduling and buffer space configuration for single-arm multicluster tools with linear topology
This work studies the scheduling problem of a single-arm multicluster tool with a linear
topology and process-bound bottleneck individual tool. The objective is to find a one-wafer …
topology and process-bound bottleneck individual tool. The objective is to find a one-wafer …
Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement
With the interaction of discrete-event and continuous processes, the short-term scheduling
problem of crude oil operations is essentially combinatorial. Thus, it is preferred to develop …
problem of crude oil operations is essentially combinatorial. Thus, it is preferred to develop …