An application of algebraic Petri nets specification for vendor management inventory | IEEE Conference Publication | IEEE Xplore