Modeling of the stock management system using Batch Deterministic and Stochastic Petri Nets (BDSPNs): «Application for Performance Evaluation» | IEEE Conference Publication | IEEE Xplore