网格体系的Petri网模拟与分析

摘要：

应用Petri网分析技术对网格体系进行模拟与验证.网格体系中的不确定性由逻辑Petri网表达,并基于给出的网格体系模型,分析验证了网格体系的正确性和完整性.结果表明该模型能够清晰地描述网格体系的动态行为、静态性质及动作的因果关系。

关键词： 网格体系 Petri网建模 形式化分析 正确性验证

作者: 张鹏 杜玉越 左风朝 蒋昌俊

作者单位: 山东科技大学信息科学与工程学院,青岛,266510;同济大学电子与信息工程学院,上海,200092 山东科技大学信息科学与工程学院,青岛,266510;聊城大学计算机学院,聊城,252059 聊城大学计算机学院,聊城,252059 同济大学电子与信息工程学院,上海,200092

会议类型: 国内会议

会议名称: 第十次全国Petri网学术年会暨形式化方法学术讨论会

会议地点: 江苏镇江

会议语种:中文

页码: 223-228

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