共查询到10条相似文献,搜索用时 15 毫秒
1.
2.
分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具.为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件. 相似文献
3.
应用混合随机Petri网对神光Ⅲ控制系统的故障进行了建模,并应用Visobj Net对建立的故障模型进行了仿真分析。网络化控制系统是一个离散和连续相结合的混合动态系统,具有动态、并发及同步等特征;神光Ⅲ控制系统就是网络化控制技术在武器装备上的一个典型应用;对于复杂系统的建模和分析,Petri网是一个非常有效的工具。Petri网已经被证明是离散事件或异步系统很好的建模和分析工具,混合随机Petri网是Petri网的一个扩展,具有强大的建模功能。仿真结果表明,所建立的模型是正确的。 相似文献
4.
在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析。Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具。给出了并发任务调度的加权时延Petri网模型。可达标识图是分析Petri网动态特性的一个重要工具,但它不能表达Petri网中变迁的并发关系,尤其是不便于分析被描述系统的时间特性。提出了并发调度标识图的概念,给出了构造时延Petri网的并发调度标识图的算法。最后,利用并发调度标识图分析了并行下载的时间特性。 相似文献
5.
6.
并发进程具有明显的异步并发性,而Petri网是描述异步并发系统的有效工具,但是目前将Petri网用于并发进程控制问题的研究还几乎没有。为此通过引入扩展有色Petri网,为并发进程建立了模型,并给出了避免死锁的有效方法。 相似文献
7.
8.
介绍了Petri网的基本定义和对并发系统的描述.指出网格是完全异步并发的基础环境。分析了Web服务和网格资源是构造Petri网格的变化元素和状态元素,进而基于Web services标准和WSRF规范构造了Petri网格体系结构的层次模型,指出Petri网格应用就是构造Petri网模型实例。 相似文献
9.
Petri网是计算机异步成分之间进行通信的理论基础.Petri网的应用涉及计算机学科的各个领域.文中运用Petri网工具来对工作流技术进行了详细的分析与描述,并用一个例子来说明如何使用Petri网来描述工作流的各种同步关系以及流向,最后,文章还给出了一个由功能模型、数据/信息模型、组织模型、资源模型组成的工作流复合模型. 相似文献
10.
Petri网是一种适合于描述异步并发现象的建模工具,具有坚实的理论基础和成熟的分析技术。本文将Petri网技术应用在卫生监督管理信息系统的工作流建模中,提出了完整的卫生监督管理信息系统工作流模型,并对该模型的合理性进行了论证。 相似文献