Modeling and simulation of a production system by using colored Petri nets

Abstract

The production system, given by [7], is modeled by colored Petri net in this paper. The basic properties of Petri nets (deadlock-freeness, and reversibility) are considered for the model of this production system. Simulations are done by programs, developed in [2], and the obtained results are presented.