摘要：先人先出FIFO栈在智能仪器及测试系统中起着重要作用。针对FIFO栈设计缺乏理论指导和严格数学验证的问题，提出采用有色Petri网（CP—net）来建模和优化FIFO栈。提出了一种FIFO栈设计模型，FIFO栈的人栈口和出栈口固定但容量可变。应用建模、仿真工具CPN Tools对FIF0栈的动态运行过程进行建模、仿真和分析，并在此基础上，对FIFO栈模型进行了优化。采用Verilog HDL在现场可编程逻辑门阵列FPGA上具体实现了FIFO栈的硬件电路。仿真结果和实际应用表明，该设计模型是活的、公平的、安全的和高效的。

关键词：fifo栈 有色petri网 建模 优化 cpn 

单位：空军工程大学工程学院自动测试系统实验室 西安710038