Batch deterministic and stochastic Petri nets modeling, analysis and its application to supply chain | IEEE Conference Publication | IEEE Xplore