Modeling and analysis of inventory system by using Colored Petri nets

In this paper, an inventory control model is build by using Colored Petri net. In order to verify the Colored Petri net model, it is simulated by using the data of a company. The simulation result shows that it is coincident with the empirical data. By using the model, the relationship of stock and shortage rate is analyzed. It is found that when interval of customer order received is random, the safe stock and shortage rate do not fit the theory of general inventory control.