State space properties of Flexible Manufacturing Cell based on Hierarchical Timed Colored Petri Nets

Abstract

The subject of this paper is focused on the state space behavioral structure of a flexible manufacturing cell (FMC) using a hierarchical model based on Colored Timed Petri Nets theory. In the paper we discussed various types of properties of the state space in CPNTools and a simulation of the manufacturing cell model with single resource places and transition in order to identify the overall time in the cell. The proposed designed model is based on the manufacturing cell from Faculty of Managerial and Technological Engineering, University of Oradea. In this recent work, we discussed the sequence of resource places and transitions of the flexible manufacturing cell explanation with state space analysis using CPNTools software.