[图书][B] Petri nets: fundamental models, verification and applications

M Diaz - 2013 - books.google.com
A Petri net is a mathematical representation of a network. This book first introduces the basic
models including time and stochastic extensions, in particular place-transition and high level …

Energy reduction in a pallet-constrained flow shop through on–off control of idle machines

M Mashaei, B Lennartson - IEEE Transactions on Automation …, 2012 - ieeexplore.ieee.org
For flexible manufacturing systems, there are normally some durations in which a number of
machines are idle and do not process any parts. Devising a control policy to turn off the idle …

A mixed integer linear programming modelling for the flexible cyclic jobshop problem

F Quinton, I Hamaz, L Houssin - Annals of Operations Research, 2020 - Springer
This paper addresses the Cyclic Jobshop Problem in a flexible context. The flexibility feature
means that machines are able to perform several kinds of tasks. Hence, a solution of the …

Cyclic scheduling for FMS: Modelling and evolutionary solving approach

T Hsu, O Korbaa, R Dupas, G Goncalves - European Journal of Operational …, 2008 - Elsevier
This paper concerns the domain of flexible manufacturing systems (FMS) and focuses on the
scheduling problems encountered in these systems. We have chosen the cyclic behaviour to …

Scheduling analysis of FMS: An unfolding timed Petri nets approach

JK Lee, O Korbaa - Mathematics and Computers in Simulation, 2006 - Elsevier
We are interested in Flexible Manufacturing Systems (FMS) scheduling problem. Different
methods have been explored to solve this problem and mainly to master its combinatorial …

Framework for designing and controlling a multicellular flexible manufacturing system

R Manzini, A Persona… - International Journal of …, 2006 - inderscienceonline.com
In the economic environment of recent years, management in modern organisations has had
to make flexible responses to constantly changing new product lines and product varieties …

Two FMS scheduling methods based on Petri nets: a global and a local approach

O Korbaa, A Benasser, P Yim - International Journal of Production …, 2003 - Taylor & Francis
We are interested in the Flexible Manufacturing System (FMS) scheduling problem. Different
methods have been explored to solve this problem and to master its combinatorial …

An activity-oriented Petri net simulation approach for optimization of dispatching rules for job shop transient scheduling

D Krenczyk, R Davidrajuh, B Skolud - … Joint Conference SOCO'17-CISIS'17 …, 2018 - Springer
After concisely reviewing the related work, the job shop transient scheduling problem and
the model of production system of repetitive production are discussed. The activity-oriented …

Green and lean control of cyclic pallet systems

M Mashaei, B Lennartson… - 2011 IEEE International …, 2011 - ieeexplore.ieee.org
Reduction of energy consumed by a manufacturing system to turn raw parts to finished
products is a big step towards the green and lean production. In this study the energy …

A genetic algorithm to solving the problem of flexible manufacturing system cyclic scheduling

T Hsu, R Dupas, G Goncalves - IEEE International Conference …, 2002 - ieeexplore.ieee.org
We are interested in the determination of the command of Flexible Manufacturing Systems
(FMS). We have chosen the Cyclic Behavior to reduce the complexity of the general …