Modelling and analysis of inventory policy: an approach based on Petri nets | IEEE Conference Publication | IEEE Xplore