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 …
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
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 …
start with the formulations of three fundamental cyclic scheduling problems, namely the …
Parallel tabu search for the cyclic job shop scheduling problem
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 …
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 …
control of a flexible manufacturing system (FMS). A flexible automotive manufacturing …
Risk modelling and assessment for distributed manufacturing system
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 …
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
This paper proposes a new Petri net class, namely, Ratio-enforced weighted Augmented
Marked Graphs (RAMGs), and solves ratio control and liveness-enforcing supervision …
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
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 …
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
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 …
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 …
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 …
literature is the modelling and the optimisation of the robotic cells. In this type of cell, as in a …