An application of algebraic Petri nets specification for vendor management inventory.

Wei Jian, Yuncan Xue, Jixin Qian

Browse the full SMC paper archive.