An application of algebraic Petri nets specification for vendor management inventory

In this work, the algebraic Petri nets (APN) is used to a vendor management inventory (VMI) system modeling. An APN specification for a simple VMI system is put out and a procedure to write APN specification is proposed. The procedure is based on informal specification of structure analysis. The data flow diagram and decision table are used in the procedure. An efficient process to write APN specification is achieved. It is named transition first method. The amount and time of replenishment can be achieved by such APN specifications.