一组Petri网化简规则及其应用

摘要：

　　为了提高嵌入式系统分析和模型验证的效率，对一种基于Petri网的嵌入式系统模型进行了化简。给出了一组模型化简规则，这组化简规则在原模型和简化模型之间保持完全等价关系。这些规则的综合运用，可使复杂的嵌入式系统的Petri网表示模型得到很大程度的化简，使系统分析和模型验证在简化模型上进行，可大大提高其效率。应用实例也表明了这些化简规则的有效性。

关键词： 嵌入式系统模型 化简规则 系统分析 Petri网

作者: XIA Chuanliang 夏传良

作者单位: School of Computer Science and Technology, Shandong Jianzhu University, Jinan 250101;State Key Labor 山东建筑大学计算机科学与技术学院,济南,250101;中国科学院软件研究所计算机科学国家重点实验室,北京,100190

会议类型: 国内会议

会议名称: 第19届全国计算机新科技与计算机教育学术大会

会议地点: 黄山

会议语种:中文

页码: 17-23

在线出版日期: 2008-08-02（万方平台首次上网日期，不代表论文的发表时间）