Karim Labadi, Haoxun Chen, Lionel Amodeo: Modeling and Performance Evaluation of Inventory Systems Using Batch Deterministic and Stochastic Petri Nets. IEEE Trans. Syst. Man Cybern. Part C 37(6): 1287-1302 (2007)