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 dat...

Full description

Saved in:
Bibliographic Details
Main Authors: Wei Jian, Yuncan Xue, Jixin Qian
Format: Conference Proceeding
Language:English
Subjects:
Applied sciences
Automatic control
Automation
Computer science
control theory
systems
Computer systems and distributed systems. User interface
Control systems
Control theory. Systems
Engineering management
Exact sciences and technology
Helium
Inventory management
Logic
Modeling
Petri nets
Software
Systems engineering and theory
Online Access:Request full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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.
ISSN:1062-922X
2577-1655
DOI:10.1109/ICSMC.2004.1401248