%0 Journal Article
%T 基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证
%J 华东理工大学学报
%P 411-417
%D 2010
%X 结合着色Petri网和时延Petri网，提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳，在变迁中引入时延、控制函数与变迁函数，利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模，还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。
%K Petri网
%K 抑制弧
%K 嵌入式系统
%K 建模
%K 验证
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=201003018&flag=1