基于Time Petri Nets的UML时序图分析 被引量：1

1

作者 徐景辉 刘文海 张根度 《计算机工程》 EI CAS CSCD 北大核心 2005年第19期105-107,共3页

引入一种称为Clock的变迁,用来改进TPNs,讨论了如何将时序图转换为基于Clock变迁的TPNs,使这种TPNs能正确反映时序图的流程和时间约束。最后,利用普通Petri网的可达性分析技术对时序图模型进行了分析和验证。

关键词 UML时序图 TIME petri nets 可达性分析

在线阅读 下载PDF 职称材料

Petri网不可达标识的判定方法研究及其在死锁检测中的应用 被引量：5

2

作者 鲁法明 曾庆田 +2 位作者 段华 彭延军 包云霞 《计算机集成制造系统》 EI CSCD 北大核心 2016年第2期465-475,共11页

为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系... 为进行系统死锁检测,对Petri网特定标识的不可达性判定方法进行研究。对基于虹吸管、陷阱、S-不变量、加模S-不变量等结构特性以及基于状态方程解存在性的不可达标识判定方法进行分析,研究了上述方法可以判定的不可达标识之间的相互关系,建立了Petri网不可达标识的分类体系,为更好地进行标识不可达性判定提供了理论依据。分别结合哲学家就餐问题和一个跨组织协同业务流程Petri网模型的死锁状态,检测说明了标识不可达判定方法的应用。 展开更多

关键词 petri网 可达性分析 不可达标识分类 死锁检测

在线阅读 下载PDF 职称材料

一种新型卫星网管协议的Petri网描述与验证 被引量：4

3

作者 赵建立 闻英友 +1 位作者 商瑞强 王光兴 《东北大学学报（自然科学版）》 EI CAS CSCD 北大核心 2004年第4期325-328,共4页

介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证... 介绍了一种新型的卫星网网络管理协议,阐述了此协议服务联系和服务原语的设计,利用Petri网描述协议的方法,对此网络管理协议模型进行了形式化描述,并利用Petri网的可达性分析、S-不变量分析和T-不变量分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、守恒性、完整性、前进性等性质,从而减少了协议设计中潜在的错误,为此协议的实现打下了良好的基础· 展开更多

关键词 多元化网络管理协议 petri网 可达性分析 S-不变量分析 T-不变量分析

在线阅读 下载PDF 职称材料

一种基于单亲遗传算法的petri网发射路径求解算法 被引量：7

4

作者 李勇 曹广益 朱新坚 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第1期203-206,共4页

给出了一种基于单亲遗传算法的petri网发射路径求解算法,提出了裂解和聚合两种新的单亲遗传算法算子。算法通过对染色体中的染色体片段进行裂解和聚合等操作,实现了发射序列的快速求解。仿真结果表明,本算法能够以较大的收敛概率快速地... 给出了一种基于单亲遗传算法的petri网发射路径求解算法,提出了裂解和聚合两种新的单亲遗传算法算子。算法通过对染色体中的染色体片段进行裂解和聚合等操作,实现了发射序列的快速求解。仿真结果表明,本算法能够以较大的收敛概率快速地收敛,最终得到多个发射序列。进一步的研究表明,适当的选取样本空间的大小可以使本算法更加快速高效。 展开更多

关键词 petri网 可达树分析 发射序列 单亲遗传算法

在线阅读 下载PDF 职称材料

时间Petri网分析工具的实现 被引量：4

5

作者 秦锋 宋金晶 袁志祥 《计算机工程与应用》 CSCD 北大核心 2003年第15期133-134,153,共3页

时间Petri网是非常适合描述实时系统的模型工具,由于时间的复杂性因素使得它的可达性分析变得非常困难。该文在分析了基于全局时间变量的时间Petri网的可达性算法的基础上,采用OOP技术,实现了一个时间petri网的分析工具。

关键词 时间petri 网 可达性分析 实时系统

在线阅读 下载PDF 职称材料

时序逻辑电路的Petri网分析方法 被引量：4

6

作者 司玉娟 王万树 +2 位作者 郎六琪 郭殿龙 戴逸松 《计算机学报》 EI CSCD 北大核心 1996年第7期492-498,共7页

本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了此增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路... 本文应用带抑止弧的增广Ｐｅｔｒｉ网，建立了基本门电路和常用触发器的Ｐｅｔｒｉ网模型，讨论了运用该模型描述同步和异步时序逻辑电路，给出了此增广Ｐｅｔｒｉ网的矩阵描述和状态转移方程，在此基础上提出了同步和异步时序逻辑电路统一分析的Ｐｅｔｒｉ网方法． 展开更多

关键词 时序电路 petri网 逻辑分析 逻辑电路

在线阅读 下载PDF 职称材料

基于时间Petri网的供应链管理建模与分析 被引量：10

7

作者 马小颖 蒋昌俊 《计算机工程》 CAS CSCD 北大核心 2003年第1期82-84,共3页

讨论了基于时间Petri网的供应链、企业之间工作流的运作效率问题，主要研究了供应链的时间Petri网建模及分析方法，提出了原有时间Petri网可达树算法应用于资源调度问题中的不足之处，并改进了原有算法。通过对供应链上资源的优化利用... 讨论了基于时间Petri网的供应链、企业之间工作流的运作效率问题，主要研究了供应链的时间Petri网建模及分析方法，提出了原有时间Petri网可达树算法应用于资源调度问题中的不足之处，并改进了原有算法。通过对供应链上资源的优化利用，可以实现对电子商务、协作商务及虚拟企业的有效管理。 展开更多

关键词 时间petri网 供应链管理 建模 分析 虚拟企业

在线阅读 下载PDF 职称材料

基于Petri网的关键路径求解算法 被引量：4

8

作者 叶双 叶剑虹 刘传才 《计算机科学》 CSCD 北大核心 2012年第6期201-203,221,共4页

首先把工程规划中有向网络转换成带时间状态的Petri网,利用Petri网的分析方法对其不合理之处加以剖析,修正其中可能蕴含的错误,接着运行该网络并进行剪枝优化,自动获取关键路径。该方法比传统算法的执行效率要高,更易于实现。

关键词 带时间状态petri网 关键路径 分析 算法

在线阅读 下载PDF 职称材料

基于Petri网的设备故障诊断研究 被引量：2

9

作者 陆宝春 夏敬华 张世琪 《南京理工大学学报》 EI CAS CSCD 1999年第6期522-526,共5页

基于设备故障诊断知识的特点，采用层次树结构统一表示故障深浅知识。对普通Ｐｅｔｒｉ 网进行拓展定义，并用拓展Ｐｅｔｒｉ 网综合实现故障知识的表示和故障的诊断推理。诊断时首先基于拓展Ｐｅｔｒｉ 网模型的正向可达性分析进行正... 基于设备故障诊断知识的特点，采用层次树结构统一表示故障深浅知识。对普通Ｐｅｔｒｉ 网进行拓展定义，并用拓展Ｐｅｔｒｉ 网综合实现故障知识的表示和故障的诊断推理。诊断时首先基于拓展Ｐｅｔｒｉ 网模型的正向可达性分析进行正向不确定推理，限定可能的故障模块，然后基于Ｐｅｔｒｉ 网模型的反向推理功能在故障模块内具体诊断出故障原因。基于ＦＭＳ故障诊断知识的分析，文中给出了一个利用拓展Ｐｅｔｒｉ 网进行知识表示和推理的实例，证明了方法的可行性。 展开更多

关键词 故障诊断 知识表示 petri网 可达性分析 设备

在线阅读 下载PDF 职称材料

基于扩展Petri网的ECA规则集表示及终止性分析 被引量：2

10

作者 张立臣 王小明 窦文阳 《通信学报》 EI CSCD 北大核心 2013年第3期157-164,共8页

为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN,extended Petri net)模型,在此基础上研究并提出了一种ECA规则集终止性判定算法。该算法充分利用EPN所包含ECA规则特性的丰富信息,综合分析了ECA规... 为了提高ECA规则集可终止性分析的准确性,建立了一种可描述ECA规则集的扩展Petri网(EPN,extended Petri net)模型,在此基础上研究并提出了一种ECA规则集终止性判定算法。该算法充分利用EPN所包含ECA规则特性的丰富信息,综合分析了ECA规则特性对规则集可终止性的影响。理论分析和实验结果表明,所提出的算法具有更高的准确性和更低的时间复杂度。 展开更多

关键词 ECA规则 petri网 终止性分析 EPN 模型表示

在线阅读 下载PDF 职称材料

Petri网仿真和自动化分析中的存储结构及算法研究 被引量：2

11

作者 车万方 张凤鸣 宋志平 《计算机研究与发展》 EI CSCD 北大核心 2002年第9期1106-1112,共7页

存储结构及算法是 Petri网仿真和自动化分析研究中的重要内容 .Petri网是一种特殊的有向图 ,通过对图的存储问题进行研究 ,提出了一种有向图的存储结构——树链式结构 ,给出了其构造算法 .与其它有向图存储结构相比 ,它既可提高算法速... 存储结构及算法是 Petri网仿真和自动化分析研究中的重要内容 .Petri网是一种特殊的有向图 ,通过对图的存储问题进行研究 ,提出了一种有向图的存储结构——树链式结构 ,给出了其构造算法 .与其它有向图存储结构相比 ,它既可提高算法速度又能降低算法复杂性 .树链式结构在 Petri网仿真和自动化分析中应用优势明显 ,着重讨论了 Petri网的树链式存储结构 ,提出了基于该存储结构的可达树生成算法 .所生成的可达树的树链结构形式 ,利于展开 Petri网的各种分析算法 . 展开更多

关键词 petri网 仿真 自动化分析 存储结构 算法 有向图 可达树 树链式结构

在线阅读 下载PDF 职称材料

基于多元约束Petri网的水利测绘无人机路径规划 被引量：4

12

作者 姚喜 陈衍德 《计算机科学》 CSCD 北大核心 2023年第S01期222-228,共7页

随着测绘技术的不断发展,测绘无人机在水利工程中的应用不断深入。利用无人机进行测绘作业,一方面革新了测绘作业工作模式,提高了工作效率;另一方面也因无人机无人驾驶、持续飞行时间有限、航测图片拼接约束等客观原因,需要进行科学的... 随着测绘技术的不断发展,测绘无人机在水利工程中的应用不断深入。利用无人机进行测绘作业,一方面革新了测绘作业工作模式,提高了工作效率;另一方面也因无人机无人驾驶、持续飞行时间有限、航测图片拼接约束等客观原因,需要进行科学的无人机测绘作业路径规划,满足无人机飞行安全、航测数据有效及作业效率优化等要求。鉴于此,提出了一种基于多元约束Petri网的水利测绘无人机路径规划方法。对问题场景进行了描绘;定义了多元约束Petri网,并给出了可达性分析方法;构建了面向测绘无人机路径规划的多元约束Petri网模型;基于可达标识图析出了路径规划最优方案。实验证明了所提方法在面向水利测绘无人机的路径规划方案寻优上具有优越性。 展开更多

关键词 多元约束petri网 水利测绘 无人机 路径规划 可达性分析

在线阅读 下载PDF 职称材料

同步时序电路的增广Petri网分析 被引量：3

13

作者 司玉娟 王万树 +1 位作者 郭殿龙 戴逸松 《电子科学学刊》 CSCD 1995年第5期529-534,共6页

本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并... 本文应用带抑制弧的增广Petri网建立了基本门电路和常用触发器的Petri网模型;并运用该模型描述了同步时序电路;提出了增广Petri网的授权矩阵、状态转移方程和触发器次态与变迁授权条件的关系。在此基础上可对同步时序电路描述和分析,并用实例证明了该方法的有效性。 展开更多

关键词 时序电路 增广petri网 逻辑分析

在线阅读 下载PDF 职称材料

基于随机Petri网的基本加工单元故障分析 被引量：2

14

作者 张君一 谢里阳 《组合机床与自动化加工技术》 2007年第9期47-50,共4页

采用随机Petri网针对制造系统中一随机加工单元的故障现象的产生、变化情况建立可靠性分析模型,通过分析其可达标识集,得出制造系统作为可降级的多状态系统,其加工单元不同于一般系统失效状态的多样性以及特殊性。直接对其可达图的变迁... 采用随机Petri网针对制造系统中一随机加工单元的故障现象的产生、变化情况建立可靠性分析模型,通过分析其可达标识集,得出制造系统作为可降级的多状态系统,其加工单元不同于一般系统失效状态的多样性以及特殊性。直接对其可达图的变迁序列进行数学分析,计算出由某个故障产生直至整个加工单元失效的各变迁序列的累积失效概率。在实际加工生产中,与维修时间相结合,可以为整个制造系统的资源调配提供依据,同时对分析制造系统的可靠性具有重要的实用价值。 展开更多

关键词 制造系统 加工单元 可靠性建模 随机petri网 故障分析 可达图

在线阅读 下载PDF 职称材料

基于Petri网子范畴的压缩规则

15

作者 傅建明 朱福喜 刘莉萍 《小型微型计算机系统》 CSCD 北大核心 2004年第3期391-394,共4页

设计了一个简单的压缩算法 ,并实现了一个基于压缩 Petri网的安全性分析系统 。

关键词 petri网 子范畴 安全性 可达分析 压缩规则 压缩算法 网络安全

在线阅读 下载PDF 职称材料

时间Petri网弱语义模型的形式化分析

16

作者 潘理 温颖文 《计算机工程与应用》 CSCD 北大核心 2006年第13期69-72,115,共5页

时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津。利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方... 时间Petri网存在强语义和弱语义两种模型,弱语义模型更适合建模和分析外部环境触发的冲突选择问题,但其形式语义和可达性分析方面的研究,却很少有人问津。利用带标号的变迁系统定义时间Petri网弱语义模型的形式语义,采用时间戳状态类方法分析它的可达性,并证明了可达性问题的可判性和状态类时间戳的全局时间性质。 展开更多

关键词 时间petri网 弱语义 形式语义 可达性分析

在线阅读 下载PDF 职称材料

基于扩展时间Petri网和故障信息网的保护动作分析方法

17

作者 倪承波 《电力系统保护与控制》 EI CSCD 北大核心 2008年第14期33-36,41,共5页

继电保护动作信息是电网故障后故障诊断和事故分析最重要的依据,随着继电保护和故障录波信息网的建立,丰富的录波信息为保护动作分析提供了基础。Petri网理论具有完善的理论证明依据,是离散动态系统建模的有效工具。文中提出了一种基于... 继电保护动作信息是电网故障后故障诊断和事故分析最重要的依据,随着继电保护和故障录波信息网的建立,丰富的录波信息为保护动作分析提供了基础。Petri网理论具有完善的理论证明依据,是离散动态系统建模的有效工具。文中提出了一种基于扩展时间Petri网(ETPN)的继电保护动作过程建模,综合利用故障信息,利用Matlab进行保护动作行为分析的方法。算例结果表明,该方法进行保护动作行为分析清晰直观、有效。 展开更多

关键词 扩展时间petri网(ETPN) 故障信息网 保护动作行为分析

在线阅读 下载PDF 职称材料

基于极小T-不变量增加的Petri网可达性分析 被引量：6

18

作者 彭建兵 焦莉 《计算机应用研究》 CSCD 北大核心 2010年第10期3798-3802,共5页

基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不... 基于极小T-不变量增加的Petri网的可达性分析,首先对网的状态方程加以合理的约束,求得一组特征解向量;然后利用扩展极小T-不变量关系图和扩展借矩阵在这些特征解向量的基础上适当添加整数倍的极小T-不变量;最后再判断这个添加极小T-不变量后的解向量的可达性。该方法不仅能判定一类含T-不变量Petri网的可达性,而且能在可达的情况下求得一个合法的变迁发生序列,并在一定程度上简化了可达性分析的过程。 展开更多

关键词 petri网 可达性 极小T-不变量 极小T-不变量关系图 扩展极小T-不变量关系图 借矩阵 扩展借矩阵

在线阅读 下载PDF 职称材料

价格着色Petri网在工作流建模中的应用 被引量：2

19

作者 姚晓峰 张伟 刘峰 《计算机工程与设计》 CSCD 北大核心 2009年第1期235-237,共3页

在着色网的基础上扩展了价格信息,提出了价格着色网,用来对业务流程进行价格建模并对其作相应的成本预算分析。其中讨论了价格着色网的变迁步规则,提出了价格着色网中的标识——经济标识的定义,并有针对性地提出了最小成本构造算法。最... 在着色网的基础上扩展了价格信息,提出了价格着色网,用来对业务流程进行价格建模并对其作相应的成本预算分析。其中讨论了价格着色网的变迁步规则,提出了价格着色网中的标识——经济标识的定义,并有针对性地提出了最小成本构造算法。最后以一个业务流程实例演示了该模型的应用,得出结论为价格着色网能够较好地解决业务流程建模中的成本预算分析问题而且该模型中的最小成本构造算法是有效的。 展开更多

关键词 价格着色网 业务流程管理 成本预算分析 可达性分析 最小成本构造算法

在线阅读 下载PDF 职称材料

一种扩展了价格变迁的Petri网及应用 被引量：1

20

作者 江月 刘显明 《燕山大学学报》 CAS 2005年第4期315-319,共5页

提出一种扩展了价格变迁的Petri网--经济Petri网,讨论了相应的分析方法,并用经济Petri网建立一个业务流程的费用模型。得出的结论包括:为Petri网扩展价格变迁是可行的;将经济Petri网应用于业务流程管理领域是有效的。

关键词 petri网 价格变迁 可达性分析 业务流程管理

在线阅读 下载PDF 职称材料