首页> 中文期刊> 《系统仿真学报》 >网格体系的Petri网模拟与分析

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

团队文献服务 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

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

著录项

来源
《系统仿真学报》 |2005年第z1期|223-228|共6页
作者
张鹏; 杜玉越; 左风朝; 蒋昌俊;
展开▼
作者单位

山东科技大学信息科学与工程学院;

青岛;

266510;

同济大学电子与信息工程学院;

上海;

200092山东科技大学信息科学与工程学院;

青岛;

266510;

聊城大学计算机学院;

聊城;

252059聊城大学计算机学院;

聊城;

252059同济大学电子与信息工程学院;

上海;

200092;

展开▼
原文格式 PDF
正文语种 chi
中图分类分布式操作系统、并行式操作系统;
关键词
网格; Petri网; 建模; 形式化分析; 正确性; 验证;

相似文献

中文文献
外文文献
专利

1. 基于颜色Petri网的交通信息网格系统建模与分析 [J] . 李景霞 ,赵慧娟 . 微计算机信息 . 2011,第006期
2. 网格实时事务并发控制协议及其PETRI网分析 [J] . 陈俊 ,古乐声 . 河南师范大学学报：自然科学版 . 2011,第1期
3. 基于Petri网的两阶段网格任务调度模型与分析 [J] . 熊曾刚 ,杨扬 ,曾明 . 通信学报 . 2009,第008期
4. 一种改进的网格资源调度算法及其有色Petri网建模和分析 [J] . 胡志刚 ,谌任 ,陈华全 . 小型微型计算机系统 . 2007,第002期
5. 计算网格任务调度的随机高级Petri网模型与分析 [J] . 单志广 ,林闯 . 系统仿真学报 . 2007,第A01期
6. 网格体系的Petri网模拟与分析 [C] . 张鹏 ,同济大学电子与信息工程学院 ,杜玉越 . 第十次全国Petri网学术年会暨形式化方法学术讨论会 . 2005
7. 基于网络协议的Petri网研究——利用着色Petri网分析验证安全协议 [A] . 顾明甲 . 2009

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号