Colored Petri-net based approach for modeling and optimization of FIFO stack

FIFO(first in first out)stack plays an important role in intelligent instrument and test system. Aiming at lacks of theoretical guidance and strict mathematical verification during the process of designing FIFO stack, an approach of modeling and optimization of FIFO stack is proposed using Colored Petri net (CP-net). A design model of FIFO stack that has fixed entrance and export but alterable capacity is given and CPN Tools, a tool for editing, simulating and analyzing CP-net, is adopted to model, simulate and analyze the dynamic working process of FIFO stack. And the FIFO stack model is also optimized. The hardware circuit of FIFO stack was implemented on FPGA (Field Programmable Gate Array) by using Verilog HDL. Simulation results and practical application show that the model is live, fair, safe and efficient.