欢迎您！东篱公司
退出
-
申报数据库
-
立项数据库
-
成果数据库
-
项目获奖数据库
中文摘要：
结合着色Petri网和时延Petri网,提出了一种适合于复杂嵌入式系统建模方法。该方法在库所中表示数据、控制信息和时间戳,在变迁中引入时延、控制函数与变迁函数,利用抑制弧简化模型。该方法可以对复杂的嵌入式系统进行建模,还可以利用现有的Petri网技术分析系统性质。通过实际案例展示了该方法的应用和可行性。
英文摘要：
By integrating the features of colored Petri net and timed Petri net,this paper proposes a formal modeling method for embedded systems.In the proposed method,the data,control information and timestamp are represented in places,and the time-delay,control function and transition function are introduced in the transitions.Moreover,inhibitor arcs are used to simplify the model.The proposed method can model complex embedded systems and analyze properties of the system by using the existing Petri nets techniques.A case study shows the applicability and feasibility of the method.
同期刊论文项目
同项目期刊论文
期刊信息
位置：