含抑制弧和测试弧Petri网的建模及其行为分析  

Modeling and Behavior Analysis of Petri Net with Inhibitor Arcs and Test Arcs

作　　者：刘石坚[1] 乐晓波[1] 邹峥[1] 

机构地区：[1]长沙理工大学计算机与通信工程学院,长沙410076

出　　处：《系统仿真学报》2008年第S2期76-81,89,共7页Journal of System Simulation

基　　金：湖南省自然科学基金项目(08JJ3124)

摘　　要：由于原型Petri网在一些实际应用中不能满足设计的需要,人们在其概念上进行扩充形成了增广的Petri网。带抑制弧和带测试弧的Petri网正是其中的一种。分析总结了带测试弧Petri网的基本行为特征。针对零检测装置以及FIFO栈实例,应用测试弧、抑制弧对系统进行了合理的建模与分析。Because the ordinary Petri net can not meet the needs of design in some practical applications,people began to extend it and there is the extened Petri net.Petri net with inhibitor arcs and test arcs belongs to this type of conception.The basic behavior characteristics of Petri net with test arcs has been analysed and summarized.Aiming at some instances like device for zero check and FIFO stack,inhibitor arcs and test arcs are both rational used in modeling and analyzing.

关 键 词：测试弧 抑制弧 建模 零检测装置 FIFO栈 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构]