Scheduling Analysis in FMS using the Unfolding Time Petri Nets

In this paper, we focus on the analysis of the scheduling problem in FMS using Unfolding Time Petri nets. We can divide original system into subsystems based on the machine’s operations and change iterated cycle module into acyclic module without changing any other behavior properties. We first show...

Full description

Saved in:
Bibliographic Details
Published inIFAC Proceedings Volumes Vol. 34; no. 17; pp. 231 - 236
Main Authors Lee, Jong-Kun, Korbaa, Ouajdi, Gentina, Jean-Claude
Format Journal Article
LanguageEnglish
Published 01.09.2001
Subjects
Flexible manufacturing systems
Petri-nets
Scheduling algorithms
Time Petri-nets
Transfer function matrix
Petri-nets
Time Petri-nets
Scheduling algorithms
Transfer function matrix
Flexible manufacturing systems
Online AccessGet full text

Cover

More Information
Summary:In this paper, we focus on the analysis of the scheduling problem in FMS using Unfolding Time Petri nets. We can divide original system into subsystems based on the machine’s operations and change iterated cycle module into acyclic module without changing any other behavior properties. We first show that properties can be studied through the unfolding nets concepts. Structural analysis on ‘‘unfolding‘’ is much easier than on the original net. The advantage of unfolding is that the state space explosion can be avoided since it is based on partial order semantics. A methods to analyze and optimize the control of such systems is presented and explained on an example.
ISSN:1474-6670
DOI:10.1016/S1474-6670(17)33285-8