共查询到10条相似文献,搜索用时 125 毫秒
1.
综述了我们在Petri网的进程研究方面所取得的成果,完整地给出了Petri网进程描述方法的体系.详细阐述了Petri网的满进程、Petri网的基本进程段、Petri网的进程表达式、Petri网的进程网系统等概念.给出了Petri网基本进程段的划分标准,证明了任意Petri网的基本进程段集是一个有限集.分别研究了有界Petri网、无界公平Petri网和任意无界Petri网的进程表达式,给出了与进程表达式描述能力等价的Petri网的进程网系统的概念,研究了进程系统的语言表达式同原系统的进程表达式之间的一一对应关系. 相似文献
2.
3.
Petri网系统合成操作的活性保持性研究 总被引:1,自引:0,他引:1
合成操作是Petri网系统建模中一种重要的自底向上建模方法,而在Petri网系统的合成过程中,保性性质是一个重要的研究问题.本文综述了我们对Petri网系统两种合成操作(共享合成、同步合成)活性保持性的研究工作.与以往研究不同,侧重从并发语言的角度讨论.定义了相应合成操作的路径并发合成运算,以此建立两种合成操作Petri网系统的并发语言关系式.这些语言关系式可用于判定相应合成操作Petri网系统的活性与无死锁性,同时给出合成的Petri网系统活性与无死锁性的充要条件.最后分别给出条件使得合成的Petri网系统有活性保持性质. 相似文献
4.
5.
物流系统三色Petri网建模与分析 总被引:8,自引:0,他引:8
针对物流系统的一些特点 ,提出了一种三色 Petri网 .给出了三色 Petri网的基本定义 ,分析了该种 Petri网的性质及建模方法 .基于三色 Petri网对自动分拣系统中的物流控制进行了建模 ,并作了一致性、活性、有界性和安全性分析 .实例建模与分析表明了三色 Petri网的有效性 . 相似文献
6.
Petri网在工作流系统建模和分析中的应用 总被引:4,自引:0,他引:4
工作流技术是计算机应用领域的一个研究热点,而行之有效的建模方法和分析工具是工作流系统的关键,也是研究人员的研究重点.介绍工作流系统的Petri网、时间Petri网、逻辑Petri网、着色Petri网、随机Petri网等建模方法,对基于工作流网(WF-net)的完整性验证、性能分析、资源调度、时间分配以及协同分析等方法进行综述,指出Petri网在工作流建模和分析中的不足,提出了Petri网解决工作流系统建模和分析进一步的研究的内容. 相似文献
7.
8.
9.
基于petri网的装备维修流程通用模型研究 总被引:4,自引:0,他引:4
简要介绍了多层次Petri网模型.在论述了Petri网技术优点的基础上,提出采用层次化的Petri网技术来建立装备系统维修保障流程仿真模型,并举例详述了该模型的建立. 相似文献
10.
有色Petri网在通信协议中的应用 总被引:3,自引:1,他引:2
有色Petri网(CPNs)提供了一个框架用来对系统进行设计.有色Petri网有着很广泛的应用领域,很多CPNs项目在工业中得以应用.通讯协议、操作系统、硬件系统、嵌入式系统和软件设计也是有色Petri网的应用领域. 相似文献