Petri网语言的同步交运算 被引量：15

1

作者 曾庆田 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2004年第2期216-219,共4页

Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交... Petri网语言是用于系统行为分析的有力工具 ,利用传统的语言运算并不能很好地刻画 Petri网的语言行为 .为此 ,本文给出一种新的 Petri网语言运算操作—同步交运算 ,并就网系统的分解和合成过程中的行为关系 ,分析了Petri网语言的同步交运算的作用和意义 . 展开更多

关键词 petri网 同步交 语言 分解 合成

在线阅读 下载PDF 职称材料

基于Petri网合成与化简的分布式数据库系统并发控制的死锁检测 被引量：7

2

作者 韩耀军 蒋昌俊 罗雪梅 《小型微型计算机系统》 CSCD 北大核心 2004年第5期821-826,共6页

利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应... 利用模块化设计的思想 ,首先为分布式数据库系统中各事务的每一种操作 (读锁、写锁、解锁 )构造一个基本的加权 Petri网模型 ,并给出了加权 Petri网共享合成的概念 .然后利用共享合成技术 ,动态地构造各站点的加权 Petri网模型 ,以适应系统的动态变化 .此外 ,本文利用 Petri网的化简技术 ,极大地简化了各站点的 Petri网模型 ,之后利用同步合成技术构造出整个系统的 Petri网模型 ,较好地解决了 Petri网的可达性分析中可能出现的状态 "爆炸 "问题 . 展开更多

关键词 分布式数据库系统 并发控制 死锁检测 petri网 共享合成 同步合成 化简

在线阅读 下载PDF 职称材料

随机进程代数与随机Petri网 被引量：27

3

作者 林闯 魏丫丫 《软件学报》 EI CSCD 北大核心 2002年第2期203-213,共11页

针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研... 针对随机进程代数(stochastic process algebra,简称SPA)的基本模型方法、模型特点和该领域的主要研究成果进行了综述.比较了SPA和随机Petri网(stochastic Petri nets,简称SPN)之间的异同点,并讨论了SPA转化为相应SPN的语义和将SPA的研究成果应用于SPN的方法.最后对SPA进一步研究工作的方向作了展望. 展开更多

关键词 随机进程代谢 随机petri网 等价 数学模型 计算机网络

在线阅读 下载PDF 职称材料

基于Petri网的RFID中间件中复合事件检测研究 被引量：13

4

作者 叶蔚 黄雨 +2 位作者 赵文 张世琨 王立福 《电子学报》 EI CAS CSCD 北大核心 2008年第B12期1-8,共8页

探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定... 探讨了一种利用复杂事件处理技术处理RFID高层业务逻辑的机制.通过用复合事件来表达RFID应用系统中常见的高层业务逻辑,将对业务逻辑的处理转化为RFID中间件对复合事件的检测.从RFID中间件检测行为的角度探讨了在这一转化过程中事件定义和事件检测的若干关键问题.基于有色网定义了RFID事件流检测网系统作为RFID事件检测模型的描述工具.给出了事件检测模型的构造规则.根据检测模型的网结构特征对具有复杂层次的复合事件的可检测性进行了分析. 展开更多

关键词 无线射频识别 无线射频识别中间件 复杂事件处理 复合事件检测 有色网

在线阅读 下载PDF 职称材料

基于Petri网语言的并发系统性质研究(英文) 被引量：7

5

作者 蒋昌俊 陆维明 《软件学报》 EI CSCD 北大核心 2001年第4期512-520,共9页

给出 Petri网弱活性 (无死锁 )与活性的两个语言刻画 ,讨论了同步合成 Petri网的语言性质 .基于 Petri网语言 ,给出了判定 Petri网活性的充分必要条件 .同时研究了 Petri网同步合成过程中活性保持问题 ,给出保持活性的充分必要条件 .

关键词 petri网 并发系统 活性 同步合成 形式语言

在线阅读 下载PDF 职称材料

一种基于同步合成构造Petri网进程表达式的方法 被引量：11

6

作者 曾庆田 《计算机学报》 EI CSCD 北大核心 2008年第3期381-390,共10页

Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的... Petri网的进程是用于系统行为和状态描述的有效工具,Petri网的进程表达式可以给出系统全部进程的描述,但是对于任意无界Petri网而言求取其进程表达式十分困难.文中首先考察结构简单的S-网的进程行为,给出各种类型的S-网的进程表达式的描述方法.然后拓展了Petri网同步合成的概念,分析了同步合成过程中基本进程段集之间的关系,并利用同步混排给出了进程表达式之间的关系.随后证明了一个Petri网可以通过一组S-网同步合成得到,利用S-网的进程表达式给出了构造Petri网的进程表达式的方法. 展开更多

关键词 petri网 S-网 同步合成 同步混排 进程 进程表达式

在线阅读 下载PDF 职称材料

Petri网共享合成及其在并行系统中的应用 被引量：2

7

作者 刘之家 李文敬 王汝凉 《计算机工程与设计》 CSCD 北大核心 2011年第3期968-971,983,共5页

为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将P... 为了使Petri网技术能够应用于MPI并行程序的正确性和性能的验证,提出了Petri网共享合成运算构建MPI并行程序Petri网的算法。对分布式并行处理系统MPI并行程序的结构与消息传递过程进行分析,给出并行程序基本语句与传递函数的Petri网,将Petri网共享合成运算从两个Petri网的共享合成运算推广到并行程序的多个Petri网的共享合成运算,给出了推广定理和证明。提出了共享合成构建MPI并行程序Petri网的算法,并在消息传递并行系统中给出构建MPI并行程序Petri网的应用示例。实验结果表明,共享合成运算是构建MPI并行程序Petri网模型的一种有效方法。 展开更多

关键词 petri网 共享合成 MPI并行程序 顺序合成 进程合成 合成算法

在线阅读 下载PDF 职称材料

作为多媒体系统模型的时间Petri网的同步合成 被引量：2

8

作者 吴哲辉 《计算机科学》 CSCD 北大核心 2004年第2期11-16,共6页

本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层次同步和同步时间差阈值等概念。同步时间差同步是时间层次同步性能的一个度量。根据实现时间层次同步的... 本文用一种以出现网为基网的时间Petri网作为多媒体系统模型。这种模型便于描述和分析并行媒体流间的同步问题。文中提出了时间层次同步和同步时间差阈值等概念。同步时间差同步是时间层次同步性能的一个度量。根据实现时间层次同步的可能性,一个时间Petri网中的同步变迁可划分为三种类型:理想同步变迁、可实现有效同步的变迁和不可能实现有效同步的变迁,一个好的多媒体系统的时间Petri网模型不应存在第三类同步变迁。文中给出了这三类变迁的判定条件。 展开更多

关键词 时间petri网 同步合成 多媒体系统 同步模型 可能性

在线阅读 下载PDF 职称材料

应用Petri网改进BPEL程序的正确性 被引量：2

9

作者 余波 《计算机应用研究》 CSCD 北大核心 2011年第9期3348-3350,3367,共4页

为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE... 为了解决BPEL组合服务的正确性保证问题,提出一种基于Petri网改善组合服务的正确性的集成方法。提出将BPEL程序转换成由PNML表示的Petri网的规则,实现由BPEL程序转换成Petri网和基于Petri网导出变迁触发序列的算法,借助一个开源工具PIPE2可分析与评价组合服务的正确性、活性等属性,所导出的触发序列可生成BPEL程序的单元测试的测试序列。案例研究表明,此方法有助于保证BPEL程序的正确性。 展开更多

关键词 组合WEB服务 可执行流程语言 petri网 变迁触发序列

在线阅读 下载PDF 职称材料

基于同步网和C_net的复合事件检测研究

10

作者 叶蔚 赵文 张世琨 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期46-50,共5页

复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优... 复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优化策略等可以简单高效的实现和集成。 展开更多

关键词 复合事件检测 复杂事件处理 同步网 C_net petri网

在线阅读 下载PDF 职称材料

Petri网的流分解

11

作者 吴振寰 高莹 吴哲辉 《系统仿真学报》 CAS CSCD 北大核心 2008年第S2期33-37,共5页

Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计... Petri网的合成和分解是复杂系统建模和分析的重要辅助手段。作为同步合成的逆运算,给出了Petri网的流分解的定义;讨论了原网与流分解子网的关联矩阵之间的关系。通过这种关系,得出了关于原网与流分解子网的S-不变量和T-不变量的两个计算公式。根据同步合成对Petri网的各种动态性质和结构性质有良好的保持性以及流分解是同步合成的逆运算,可以推知流分解运算对Petri网的各种动态性质和结构性质也有良好的保持性。 展开更多

关键词 petri网 同步合成 流分解 动态性质 结构性质

在线阅读 下载PDF 职称材料

弱持续Petri网的行为与结构性质

12

作者 陈黎静 《小型微型计算机系统》 CSCD 北大核心 2012年第7期1596-1598,共3页

弱持续Petri网是Petri网的一个子类,与系统的持续性密切相关.本文刻画了活的弱持续Petri网的一个行为特征,即,如果在一个标识M下两个不同的变迁t1与t2均是使能的,则存在两个变迁序列σ'与σ″满足:(1)t1σ't2与t2σ″t1在M下是... 弱持续Petri网是Petri网的一个子类,与系统的持续性密切相关.本文刻画了活的弱持续Petri网的一个行为特征,即,如果在一个标识M下两个不同的变迁t1与t2均是使能的,则存在两个变迁序列σ'与σ″满足:(1)t1σ't2与t2σ″t1在M下是使能的,(2)t1不出现在σ″中,(3)t2不出现在σ',并且(4)σ'与σ″的发生数向量相同.同时,本文揭示了弱持续网的两个结构特征,并证明了持续Petri网的同步合成网仍然保持持续性.这些结论丰富了Petri网的基本理论. 展开更多

关键词 弱持续petri网 同步合成 行为特征 结构特征

在线阅读 下载PDF 职称材料

基于颜色Petri网的网格服务组合

13

作者 翟正利 《计算机科学》 CSCD 北大核心 2014年第1期152-155,177,共5页

在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要... 在新的面向服务的网格计算架构下,网格服务为Internet上的分布式计算提供了一种重要范例。对服务提供者和消费者来说,通过组装已有网格服务来创建新的增值网格服务的应用模式已经出现。网格服务的组合已经成为网格研究领域中的一个重要课题。由于可用网格服务的复杂性,许多网格服务表现出复杂的会话协议,要求其提供的操作能根据特定的规则进行调用。讨论了以下几个问题:(1)如何精确描述网格服务的会话协议;(2)如何建立组合规则来对选定的组件服务进行合成;(3)如何验证整个网格服务组合的正确性,尤其是被合并的组件服务的一致性和它们的会话协议。Petri网提供了描述并发系统同步的结构,高级编程语言提供了描述和操作数据值的结构,而颜色Petri网结合了Petri网和高级编程语言的表达能力。为了解决上述问题,提出了一个基于颜色Petri网的会话协议和网格服务组合模型,其使用颜色Petri网的带颜色的token来模拟业务流程的不同消息和事件类型,把服务的会话协议和网格服务组合过程转换为颜色Petri网(CPN),利用现有的CPN的专门工具(如CPN Tools)来对CPN进行模拟以分析评价系统的性能和行为性质。 展开更多

关键词 网格服务组合 组件服务 会话协议 过程组合 颜色petri网

在线阅读 下载PDF 职称材料

基于扩展同步Petri网的BPEL建模 被引量：3

14

作者 刘贤 李建华 +1 位作者 李向 陈楠 《计算机工程》 CAS CSCD 北大核心 2011年第2期57-59,共3页

使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和... 使用业务流程执行语言(BPEL)描述复杂业务流程时容易出错。针对以上问题,通过对同步Petri网进行扩展,设计一个更适合BPEL建模的模型SPN-NET,给出各种BPEL结构化活动到SPN-NET的转换,提出一种具有一般性的相似性化简算法。合理性验证和性能分析表明,该模型简洁紧凑,可理解性好。 展开更多

关键词 同步器 petri网 业务流程执行语言

在线阅读 下载PDF 职称材料

S-组合Petri网的进程特性分析 被引量：1

15

作者 张锋 吴哲辉 《小型微型计算机系统》 CSCD 北大核心 2010年第4期744-746,共3页

Petri网进程是反映Petri网动态特性的重要工具.Petri网的进程表达式可以给出系统全部进程的描述,但是对于求取Petri网的进程表达式时用到的基本子进程,其求取通常是比较困难.通过分析Petri网S-组合过程中满足的进程特性,给出S-组合网与... Petri网进程是反映Petri网动态特性的重要工具.Petri网的进程表达式可以给出系统全部进程的描述,但是对于求取Petri网的进程表达式时用到的基本子进程,其求取通常是比较困难.通过分析Petri网S-组合过程中满足的进程特性,给出S-组合网与子网的基本子进程之间的关系,即S-组合Petri网的闭基本子进程的集合是子网的闭基本子进程的集合的并集.这样,就将求取结构复杂Petri网的基本子进程的问题转化为求取其结构简单的组合子网的基本子进程的问题,为求取结构复杂Petri网的基本子进程提供了一种方法. 展开更多

关键词 petri网 进程 基本子进程 S-组合

在线阅读 下载PDF 职称材料

同步合成网的进程特性研究 被引量：12

16

作者 蒋昌俊 闫春钢 《电子学报》 EI CAS CSCD 北大核心 1997年第2期57-60,共4页

进程是反映Ｐｅｔｒｉ网动态特性的重要工具，同步合成是考察复杂Ｐｅｔｒｉ同性质的有效途径．本文研究Ｐｅｔｒｉ网同步合成过程中进程关系的特性，获得基本进程集的合成公式和进程语言的合成公式，还得到了切集，线集的有关性质．这... 进程是反映Ｐｅｔｒｉ网动态特性的重要工具，同步合成是考察复杂Ｐｅｔｒｉ同性质的有效途径．本文研究Ｐｅｔｒｉ网同步合成过程中进程关系的特性，获得基本进程集的合成公式和进程语言的合成公式，还得到了切集，线集的有关性质．这些结果可为复杂Ｐｅｔｒｉ网动态特性的考察提供有力手段． 展开更多

关键词 petri网 进程 同步合成

在线阅读 下载PDF 职称材料

同步合成网的结构性质分析 被引量：6

17

作者 杜玉越 李孝忠 曹德范 《东南大学学报（自然科学版）》 EI CAS CSCD 1999年第5期26-30,共5页

研究了同步合成网的结构性质， 给出了同步合成网保持子网结构性质不变的条件．结果表明： 同步合成网对某些结构性质可直接保持，而对另一些结构性质，需在某种条件下保持．这些结果可为网系统同步合成提供有力手段．

关键词 petri网 同步合成网 结构性质

在线阅读 下载PDF 职称材料

基于Web的产品设计流程模型 被引量：5

18

作者 潘善亮 陈刚 董金祥 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2003年第7期828-835,共8页

描述了一个基于Web的设计流程管理系统 ,该系统以Petri网为数学模型 ,很好地解决了设计流程Petri网络的表示 ,详细分析了系统在设计子流程之间同步和异步方式通信的Petri网表示 。

关键词 产品设计 petri网 产品质量 CAD 计算机辅助设计 项目管理

在线阅读 下载PDF 职称材料

基于OCPN的SMIL文档创作平台设计与实现 被引量：3

19

作者 包小源 金彦钟 宋再生 《计算机应用》 CSCD 北大核心 2004年第1期126-128,133,共4页

基于SMIL的多媒体文档创作平台是目前的应用研究重点。SMILAuthoringTool(SAT)创作平台在参考了SMIL2 .0定义基础上 ,以OCPN为多媒体同步时序定义的基本模型 ,分析了国内外现有的系统优缺点之后 ,利用面向对象的方法实现。SAT相对于已... 基于SMIL的多媒体文档创作平台是目前的应用研究重点。SMILAuthoringTool(SAT)创作平台在参考了SMIL2 .0定义基础上 ,以OCPN为多媒体同步时序定义的基本模型 ,分析了国内外现有的系统优缺点之后 ,利用面向对象的方法实现。SAT相对于已有的系统而言 ,它使用树形组织结构和OCPN对节点之间的时序和节点内部的详细同步信息进行设置 ,二者互相补充 ,可使用户进行简单的同步时序设置。 展开更多

关键词 SMIL 多媒体 对象组织petri网(OCPN) 同步 创作

在线阅读 下载PDF 职称材料

数控弯管机多模复合几何加工过程仿真技术 被引量：6

20

作者 王佳鹏 刘少丽 +2 位作者 刘检华 刘佳顺 常增岩 《计算机集成制造系统》 EI CSCD 北大核心 2018年第1期19-33,共15页

针对现有数控弯管加工过程仿真系统中模胎、送料方式及弯曲工艺单一等问题,提出一种数控弯管机多模复合几何加工过程仿真方法。首先建立了数控弯管机几何加工过程的Petri网模型,将NC文件划分为3个信息单元,确定了Petri网的初始标识,并... 针对现有数控弯管加工过程仿真系统中模胎、送料方式及弯曲工艺单一等问题,提出一种数控弯管机多模复合几何加工过程仿真方法。首先建立了数控弯管机几何加工过程的Petri网模型,将NC文件划分为3个信息单元,确定了Petri网的初始标识,并建立了9种模胎模型,在此基础上分析了单模与多模、绕弯与推弯、左弯与右弯加工过程中导管动态成形过程,最后基于Petri网对数控弯管加工过程进行了仿真。该方法实现了单模与多模、直送与夹送、绕弯与推弯、左弯与右弯等复合加工过程的仿真,基于该方法开发的软件系统作为某公司生产的多模胎数控弯管机的配套软件,已在企业中得到了工程推广应用,证明了所提方法的有效性和可靠性。 展开更多

关键词 多模胎 复合加工工艺 petri网 数控弯管 加工仿真

在线阅读 下载PDF 职称材料