关于Petri网汇合性质和家态的一些探讨

来源 :山东科技大学 | 被引量 : 0次 | 上传用户:svennis
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
汇合性质和家态是Petri网的两种重要的性质,它们在应用领域有着重要的作用和价值。然而在纯Petri网理论里,关于汇合性质和家态的系统的研究工作却很少。本文即针对Petri网的汇合性质和家态性质做了一些探讨。  本文研究的主要内容包括以下几个方面:  1.从简单的Petri网子类入手来研究什么样的Petri网具有汇合性质,先后证明了活的标识S-图、活的标识T-图、有界的冲突无关的Petri网、有界的标识T-图(T-网)、不含源变迁的标识T-图、活的有界的标识自由选择网等Petri网子类具有汇合性质。  2.讨论了行为等价于上述特殊Petri网子类的网系统的汇合性质,由于根据定义直接判定两个网系统是否行为等价非常地复杂,针对这点我们给出了一种保持行为等价的化简方法,使得判定一个给定的网系统是否行为等价于前述的那些特殊子类变得比较简单,若给定的网系统行为等价于某个特殊子类,从而可以容易地判定出其汇合性质。  3.讨论了同步合成与共享合成操作对Petri网汇合性质的保持性问题。先后证明了子系统都为活的情况下的同步合成、保持完全顺序行为不变的同步合成、S-组合、子系统都为活的情况下的保持活性的共享合成等组合方法都保持了汇合性质。同时对共享合成的情况进行了扩展,得出了更为广泛的结论。  4.在对汇合性质研究工作的基础上,对Petri网的家态性质作了一些讨论,指出了一些含有家态的Petri网子类,并对活的有界的网系统中的家态的特征做了初步的探讨,讨论了它与陷阱的关系。
其他文献
现在,有很多应用程序框架,它们可以让应用程序充分利用网格技术。大部分应用程序框架模型都非常相似:为了实现更好的吞吐量,大部分模型都可以根据需要为任务添加网格节点(服
当前,计算机在人们的生产生活中发挥着越来越大的作用。计算机辅助设计(CAD)及计算机辅助制造(CAM)已经在工业设计领域发挥着举足轻重的作用,涉及到工业、建筑、医疗等几乎社
随着社会信息化程度不断提高,网络在带来巨大经济效益和社会效益的同时,也面临着日益严重的安全问题。秘密共享是保障网络安全的重要手段之一,它能够分散责任,提高系统的安全
产品的协作开发是复杂的团队活动,产品开发涉及到不同的职能领域的参与、使用不同的应用程序或操作环境,分布在不同的地点,具有保密性等因素,这一切通常无法有效地加以协调。
非真实感绘制(Non-photorealistic rendering,NPR)是近年来快速发展起来倍受业界关注一种绘制技术,其主要采用某种特定的艺术风格对物体进行绘制。对指定的场景信息利用特定
面对当今日趋多变的业务需求,如何让业务用户直接从业务角度按需和快速地构建应用已经成为人们研究的热点。为满足这一需求,本人所在的项目组提出了一种具有业务知识描述及面
本文对非线性波方程的精确解算法进行了分析,设计了几类机械化算法,并编写了程序包在计算机上实现.还提出了几种非线性波方程数值解的新方法,用这些新方法求解了许多物理和力
随着信息技术的发展和信息栅格的引入,未来的指挥自动化系统的规模将越来越大,构成也将越来越复杂。为了保证指挥自动化系统连续可靠、无故障的运行,必须通过监控系统对其设备、
本文详细讨论了数据融合中的雷达辐射源识别、平台识别问题。针对雷达辐射源识别,本文把人工神经网络、模糊匹配方法、D—S证据理论结合起来,提出了三级雷达型号识别模型。首先
学位