当前位置:首页 >> 信息与通信 >>

高级Petri网并行化预处理方法的研究


第3 8卷 第 5期  2 0 1 3年 l O月   文章编号 : 1 0 0 1 - 7 4 4 5 ( 2 0 1 3 ) 0 5 . 1 1 0 0 - 0 8   广 西 大学 学 报 : 自然 科 学 版  J o u r n a l   o f   G u a n g x i   Un i v e r s i t y : Na t   S c i   Ed   Vo 1 . 3 8   No . 5   0 c t . 2 0 1 3   高级 P e t r i 网并 行 化 预 处 理 方 法 的研 究  李文敬  , 廖伟 志  , 元 昌安  , 李  双  ( 1 .广西师范学院 计算机 与信息工程学 院 , 广西 南 宁 5 3 0 0 2 3 ;   2 . 嘉 兴学院 数理与信息工程学院 ,浙江 嘉兴 3 1 4 0 0 1 )   摘要 : 为 了解决复杂 的 P e t r i 网并行化及模拟执行 问题 , 提出将颜色等高级 P e t r i 网转化成库所/ 变迁 网( P l a c e /   T r a n s i t i o n   N e t ) 的并行化预处理方法 , 以便能够对 P / T网实现并行化。根据颜 色高级 P e t r i 网与 P / T网系统 的  特点及其 内在联系 , 从结构模型 、 代数模型对颜 色 P e t r i 网转化 为 P / T网 的预处理 方法进行研 究 , 并 通过实 例  和编程对预处理方法的正确性和有效性进行验证 。实验结果 表明 , 提 出 的高 级 P e t r i 网并行化预 处理方法 是  可行而有效 的。   关键词 : 高级 P e t r i 网; 结构模型 ; 代数模 型 ; P / T网 ; 并行化预处理方法  中 图分 类 号 : T P 3 0 1   文 献标 识码 : A   Pr e t r e a t me n t   me t ho d   o f   s e n i o r   Pe t r i   n e t s   pa r a l l e l i z a t i o n  L I   We n - j i n g   ,L I A O   We i — z h i   , Y U A N   C h a n g . a n   , L I   S h u a n g   ( 1 . S c h o o l   o f   C o m p u t e r   a n d   I n f o r m a t i o n   E n g i n e e i r n g , G u a n g x i   T e a c h e r s   E d u c a t i o n   Un i v e si r t y, Na n n i n g   5 3 0 0 2 3,C h i n a ;   2 . S c h o o l   o f   M a t h e m a t i c s   P h y s i c s   a n d   I n f o ma r t i o n   E n g i n e e i r n g   J i a x i n g   U n i v e r s i t y , J i a x i n g   3 1 4 0 0 1 ,C h i n a )   Ab s t r a c t :W i t h   t h e   a i m  o f   s o l v i

赞助商链接
相关文章:
petri网基础知识
Petri 网概念 Petri 网是对离散并行系统的数学...被允许的形式化 变迁发生的形式化 Petri 网到变迁...研究出了高级 Petri 网,在以下方面进 行了扩展: ...
T murata关于Petri网的性能分析及应用1
Petri 网在描述和研究信息处理系统方面是一种很有...高级网的逻辑编程应用, 还包括可达标准的最新研究...并在 1970 年的 并行系统和并行计算的 MAC 会议中...
英文文献翻译(基于Petri网的大型发电站故障诊断)
结果从三个研究案例中显示出 Petri 网故障诊断方法...Petri 网具有 并行信息处理的特点, 并发操作功能, ...作为一种模型化 语言,它将分布式系统的结构图形化...
基于petri网故障检测技术综述
网的故障诊断处理时,以元件、保护和断路器为目标来...文献[15]综合利用了 Petri 网和概率方法研究电力...充分利用 了模糊 Petri 网的并行处理能力,使推理...
基于第二类Petri网对多处理机的任务并行性与负载均衡解...
基于第二类Petri网对多处理机的任务并行性与负载均衡解决方案的建_互联网_IT/...提高运算能 力的一种重要的手段, 同时也是将计算机的计算能力虚拟化的有效方法...
基于Petri网的虚拟维修作业过程模型分析
Petri 网原理 Petri 网为描述和研究具有并行、异步...的通讯辅助方法;作 为一种数学化方法,它可以用来...即用于维修知识描述的高级 Petri 网技术,MKDN 是对...
Petri网
Petri网_数学_自然科学_专业资料。1.2.2 高级 Petri 网 1.2.2.1 多层次...所以可以选择自底而上或自顶而下层次化地构 造 Petri 网。自底而上的方法是...
并发控制器设计的Petri网方法
为此,大量涌现出网络并行环境, 分布式系统,大规模并行处理机等等。这些实际系统的...进一步的研究是从元系统的Petri网模型和控制规范直接综合相应的控制器。 参考文献...
Petri网系统的可达性研究
Petri网系统的可达性研究_理学_高等教育_教育专区。...提出利用整数规 划方法处理弱可达性条件,并介绍了...它是一种形式化模型描述方法,在并行模型分析,协议的...
Petri网
Petri 网是对离散并行系统的数学表示。Petri 网是 ...研究出了高级 Petri 网,在以下方面进行了扩展: o ...[编辑] Petri 网的形式化定义 一个经典的 Petri ...
更多相关标签: