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

扫码查看

原文链接

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

作者：

张鹏、同济大学电子与信息工程学院、杜玉越、聊城大学计算机学院、左风朝、蒋昌俊

展开 >

作者单位：

山东科技大学信息科学与工程学院,青岛,266510

上海,200092

聊城,252059

聊城大学计算机学院,聊城,252059

同济大学电子与信息工程学院,上海,200092

展开 >

关键词：

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

主办单位：

中国计算机学会

会议名称：

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

会议时间：

2005-10-01

会议地点：

江苏镇江

会议母体文献：

系统仿真学报

页码：

223-228

出版时间：

2005