Batch deterministic and stochastic Petri nets. A tool for modeling and performance evaluation of supply chain | IEEE Conference Publication | IEEE Xplore