Batch deterministic and stochastic Petri nets approach for modeling and performance analysis of inventory systems: application to (s, S) inventory system | IEEE Conference Publication | IEEE Xplore