学位论文 > 优秀研究生学位论文题录展示

Petri网计算图

作　者: 吴岩
导　师: 吴哲辉
学　校: 山东科技大学
专　业: 计算机软件与理论
关键词: Petri网 Petri网计算图 可覆盖性图 向量加法系统 向量置换系统 向量运算系统 活性 可达性 删除操作 密码
分类号: TP301.6
类　型: 硕士论文
年　份: 2009年
下　载: 75次
引　用: 0次
阅　读: 论文下载
 

内容摘要


Petri网的可覆盖性图(可达标识图)是分析Petri网的最常用方法之一,它能很好的分析Petri网的安全性、有界性、守恒性和可覆盖性等问题,但由于无界量符号ω的引入引起信息丢失,因而Petri网的可覆盖性图不能完全模拟Petri网的运行。向量加法系统和向量置换系统能完全模拟Petri网的运行,但它缺少像可覆盖性图那样直观的表现形式。本文所提出的Petri网计算图就是以上述两种方法为基础提出的一种新的Petri网的分析方法,它整合了上述两种方法的优点,即具有像Petri网的可覆盖性图那样直观的表现形式,又完全包含Petri网的运行信息,而不至造成信息丢失,从而与Petri网具有等价的模拟能力。本文给出了Petri网的计算图的生成算法,并以向量运算系统的基础理论为依据,对Petri网与Petri网计算图的模拟能力的完全等价性进行了严格的证明,同时得出了Petri网的保性删除等初步的结论,也为进一步的研究Petri网的活性和可达性问题提供了一种新的形式和契机。

全文目录


相似论文

  1. 基于酚醛树脂活性炭的制备及负载TiO2吸附—光催化性能,TQ424.19
  2. 添加剂减阻技术在集中供暖系统中的节能应用,TU995
  3. 基于身份的多重数字签名及签密算法研究,TN918.1
  4. Windows内核态密码服务接口设计与实现,TP309.7
  5. 移动计算环境下检查点技术研究与Petri网建模,TP301.1
  6. 基于距离映射码的安全指纹认证研究,TP391.4
  7. 夏季湖光岩玛珥湖浮游细菌和浮游活性菌遗传多样性的比较,Q938
  8. 三种羧酸系列金属配合物的合成及活性研究,O621.13
  9. 南海多室草苔虫和脆灯芯柳珊瑚化学成分的研究,R284
  10. 两株南海海洋真菌次级代谢产物研究,R284
  11. 沙利度胺衍生物的设计合成及抗肿瘤活性研究,R965
  12. 阿托伐醌类似物的设计、合成及其抗肿瘤活性研究,R914
  13. 负载铈活性炭催化臭氧化氯霉素研究,X703
  14. 侧柏叶化学成分提取及活性功能研究,R284
  15. 珊瑚共附生可培养真菌菌群多样性及其生物活性研究,R284
  16. 鬼臼毒素衍生物的设计、合成及抗肿瘤活性研究,R284
  17. 云南元江干热河谷优势植物内生真菌多样性及其次生代谢产物研究,X172
  18. 微氧条件下密闭电石炉尾气中COS气体吸附净化研究,X781
  19. 抑制植物病原菌的植物提取物筛选,S482.2
  20. 基于目标成分“敲出/敲入”质量控制模式的中药姜黄抗氧化药效物质辨识,R285
  21. 喹喔啉-1，4-二氧化物衍生物的设计、合成及抗肿瘤活性研究,R914

中图分类: > 工业技术 > 自动化技术、计算机技术 > 计算技术、计算机技术 > 一般性问题 > 理论、方法 > 算法理论
© 2012 www.xueweilunwen.com