5th IEEE International Conference on Computational Cybernetics, Gammarth, Tunisia, 19 - 21 October 2007, pp.161-165, (Full Text)
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.