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 ...