分享到:

基于时延Petri网的并行程序的分析

在分析并行程序时,很多问题需要考虑,如通信、同步、数据划分和分配、负载平衡、容错、异构、死锁及竞争等问题,采用一般方法是很困难的。时延Pet  (本文共5页) 阅读全文>>

山东科技大学
山东科技大学

基于Petri网的并行程序分析与评价

并行程序目前是一个活跃的研究领域,也是一个困难问题。在进行并行程序的分析和设计过程中,必须面对不确定性、通信、同步、数据划分和分配、负载平衡、容错、异构、共享或分布存储、死锁及竞争等问题,这些问题在串行程序的分析和设计中是很少遇到的。针对这些问题,用Petri网来分析并行程序的性能是其它模型无法比拟的。本文的主要工作是借助时延变迁Petri网来分析并行程序,首先给出了一般并行程序转化为TTPN的基本转换规则,对TTPN模型采用G.Chiola的方法进行分析。对于数据并行问题,提出了并行程序逻辑进程中一个块的TTPN模型以及包含多个块的循环的TTPN模型。通过分析矩阵乘法算法的TTPN模型,在曙光2000并行机上对两个400×400矩阵相乘的问题进行了模拟,并与一般内积并行算法的运行结果作了比较。然后,基于A.Nketsa和N.B.Khalifa在文献中提出的先行值概念,我们给出了先行值的确切定义。结合TTPN,本文给出了无初始标...  (本文共87页) 本文目录 | 阅读全文>>

《中国科技信息》2006年12期
中国科技信息

利用可达性图判断petri网的可达性以及活性

Petri网的可达性树和可达性图都是分析Petri网的一种工具。本文先给出了如何从可达性树转换...  (本文共2页) 阅读全文>>

《工业控制计算机》2006年11期
工业控制计算机

一类Petri网及其在离散事件系统的仿真与控制中的应用

设计和实现了一类Petri网——控制Petri网,基于控制Petri网,给出了离散事件系统的仿真与控制的算法和离...  (本文共4页) 阅读全文>>

《江西师范大学学报(自然科学版)》2006年01期
江西师范大学学报(自然科学版)

基于Petri网的工作流仿真建模研究

工作流仿真模拟工作流执行的环境,高效、低成本、快速地执行工作流过程,通过分析仿真结果,来发现模型中存在的问题,达到工作流优化和...  (本文共3页) 阅读全文>>

《华中科技大学学报(自然科学版)》2006年03期
华中科技大学学报(自然科学版)

基于有色Petri网的逻辑电路仿真模型设计

提出了一种受控有色Petri网(CCPN)模型.该模型在有色Petri网的基础上对逻辑电路的拓扑结构和动态运行过程进行了形式化描述,给出了逻辑电路与CCPN的映射关系,...  (本文共4页) 阅读全文>>

《计算机工程》2006年06期
计算机工程

顺序图至Petri网转化方法的研究与实现

作为一种面向对象分析和设计建模语言,统一建模语言(UML)已经越来越多的被用在大型系统中,然而,UML是半形式化的,这使得很难对其进行严格的语义分析和正确性验证。顺序图作为UM...  (本文共3页) 阅读全文>>