Modeling and performance evaluation of supply chains using batch deterministic and stochastic Petri nets | IEEE Journals & Magazine | IEEE Xplore