基于带抑制弧的时延着色Petri网的嵌入式系统建模与验证

结合着色Petri网和时延Petri网，提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳，在变迁中引入时延、控制函数与变迁函数，利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模，还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。