Applications of Petri nets in production scheduling: a review

G Tuncel, GM Bayhan - The International Journal of Advanced …, 2007 - Springer
The production scheduling problem allocates limited resources to tasks over time and
determines the sequence of operations so that the constraints of the system are met and the …

Complexity of cyclic scheduling problems: A state-of-the-art survey

E Levner, V Kats, DAL De Pablo, TCE Cheng - Computers & Industrial …, 2010 - Elsevier
In this survey we review the current complexity status of basic cyclic scheduling models. We
start with the formulations of three fundamental cyclic scheduling problems, namely the …

Parallel tabu search for the cyclic job shop scheduling problem

W Bożejko, A Gnatowski, J Pempera… - Computers & Industrial …, 2017 - Elsevier
In this paper, we consider a cyclic job shop problem, consisting of production of a certain set
of elements at fixed intervals. Optimization of the process is reduced to a minimization of a …

Petri net based decision system modeling in real-time scheduling and control of flexible automotive manufacturing systems

Ö Başak, YE Albayrak - Computers & Industrial Engineering, 2015 - Elsevier
This paper presents the design and the implementation of a Petri net (PN) model for the
control of a flexible manufacturing system (FMS). A flexible automotive manufacturing …

Risk modelling and assessment for distributed manufacturing system

CKM Lee, Y Lv, Z Hong - International Journal of Production …, 2013 - Taylor & Francis
This paper proposes to use a Petri net framework together with simulation technology to
model and analyse distributed manufacturing networks. With the distinct modelling features …

Supervisor design to enforce production ratio and absence of deadlock in automated manufacturing systems

H Hu, M Zhou, Z Li - IEEE Transactions on Systems, Man, and …, 2010 - ieeexplore.ieee.org
This paper proposes a new Petri net class, namely, Ratio-enforced weighted Augmented
Marked Graphs (RAMGs), and solves ratio control and liveness-enforcing supervision …

Low-cost and high-performance supervision in ratio-enforced automated manufacturing systems using timed Petri nets

H Hu, MC Zhou, Z Li - IEEE Transactions on Automation …, 2010 - ieeexplore.ieee.org
In the context of automated manufacturing, this work proposes a new special class of timed
Petri nets, namely, Timed ratio-enforced Augmented Marked Graph (TAMG) and its low-cost …

Liveness and ratio-enforcing supervision of automated manufacturing systems using Petri nets

HS Hu, MC Zhou, ZW Li - … and Cybernetics-Part A: Systems and …, 2011 - ieeexplore.ieee.org
In automated manufacturing systems (AMSs), Petri nets are widely adopted to solve
supervisory control problems. Among them, how to enforce liveness and fairness for AMS …

An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems

D Lefebvre, F Basile - Information Sciences, 2021 - Elsevier
Scheduling problems have been approached several times by Petri nets. Indeed, the usage
of a Petri net model guarantees the feasibility of the candidate solutions, but it does not …

Sequencing and scheduling in a three-machine robotic cell

W Zahrouni, H Kamoun - International Journal of Production …, 2012 - Taylor & Francis
Owing to intense global competition, one of the main concerns of the production-scheduling
literature is the modelling and the optimisation of the robotic cells. In this type of cell, as in a …