Discrete-event dynamic systems (DEDs) permeate our world, being of great importance in
modern manufacturing processes, transportation and various forms of computer and …

In this paper, Petri net models for flexible manufacturing systems (FMS) are constructed. A
firing sequence of the Petri net from an initial marking to a final one can be seen as a …

A formal model of a system for planning tasks in an IT infrastructure based on temporary
Petri nets is proposed. The proposed model consists of a finite set of executors …

A formal model of an ecosystem is proposed. The proposed model consists of an external
environment, a server to connect with external environment and internal communication …

In this paper, we focus on the analysis of a cyclic schedule for the determination of the
optimal cycle time and minimization of the Work in Process (WIP for short). Especially, this …

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 …

In scheduling problem for automatic assembly, planning of task sequence is closely related
with resource allocation. However, they have been separately carried out with little …

We focus on the analysis of the cycle scheduling problem in FMS using unfolding time Petri
nets after slicing off some sub-nets using the transitive matrix. We can change an iterated …

In this paper, we focus on the analysis of the scheduling problem in FMS after slicing off
some sub-nets using the transitive matrix. We can say that a control flows in the Petri nets is …

This chapter presents a Petri net-based method for deadlock-free scheduling of automated
manufacturing systems. It investigates different hybrid heuristic search strategies for …