Petri网计算图

来源 :山东科技大学 | 被引量 : 0次 | 上传用户:shouer77
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
Petri网的可覆盖性图(可达标识图)是分析Petri网的最常用方法之一,它能很好的分析Petri网的安全性、有界性、守恒性和可覆盖性等问题,但由于无界量符号ω的引入引起信息丢失,因而Petri网的可覆盖性图不能完全模拟Petri网的运行。向量加法系统和向量置换系统能完全模拟Petri网的运行,但它缺少像可覆盖性图那样直观的表现形式。本文所提出的Petri网计算图就是以上述两种方法为基础提出的一种新的Petri网的分析方法,它整合了上述两种方法的优点,即具有像Petri网的可覆盖性图那样直观的表现形式,又完全包含Petri网的运行信息,而不至造成信息丢失,从而与Petri网具有等价的模拟能力。本文给出了Petri网的计算图的生成算法,并以向量运算系统的基础理论为依据,对Petri网与Petri网计算图的模拟能力的完全等价性进行了严格的证明,同时得出了Petri网的保性删除等初步的结论,也为进一步的研究Petri网的活性和可达性问题提供了一种新的形式和契机。
其他文献
调度的根源在于对资源的争用和分配,无线领域的分组调度主要是要保证用户业务的服务质量和各个业务流之间享受服务的公平性。高速上行分组接入(HSUPA)是第三代通讯伙伴计划(3
短信息以其移动性好,收发便捷,内容丰富等特点,受到广大移动通信用户的普遍青睐,特别是青少年手机用户,往往把收发短信作为信息交互,感情沟通和互动娱乐的主要方式之一。然而
With the development in DNA microarray technology, expression values of thousands of genes can be simultaneously measured efficiently in biological process. Co-
移动终端上发行数字内容,涉及到数字内容版权保护和解决终端查询数据速度等问题。本文提出了一个基于智能存储卡平台在移动终端开发数字内容发行软件的设计方案。利用智能存
经济的发展,工业化水平的提高,人口的快速增长导致了大气污染问题的日益严重。2015年柴静的雾霾调查“穹顶之下”更是引发了全民的关注。为了合理整治大气污染问题,准确反映空气
数据挖掘的任务,就是从海量数据中,发现其中有用的信息。利用有价值信息可以指导人们的生产与生活,以此产生较大经济价值。随着科技的发展,人们也越来越重视从数据库中发现和
数字水印技术是目前信息隐藏技术领域的一个新方向,这种技术通过在载体数据中嵌入版权信息,成为对数字产品进行版权保护和内容认证的有效手段。几何攻击作为一种实现简单、破
随着互联网在世界范围内的迅猛发展,网络上的信息日益增加。人们迫切需要一种方法来从这些海量信息中快速获取有用信息、排除冗余信息,并将这些信息有机的结合到一起。多文档
在信息技术飞速发展的今天,办公自动化技术的内涵和外延都发生了根本的变化,各种技术的引入使人们能处理更广泛的业务和信息,如何灵活的重组业务过程,高效的集成业务模型,成
计算机病毒的知识,大多以文本和网页形式存在,缺乏一个结构化的组织方式。而本体作为领域信息的模型化表示,已经成为当前的研究热点,在许多领域得到了广泛的应用与深入的研究。本