基于时间Petri网的实时并行设计过程建模研究 被引量：16

1

作者 宋玉银 褚秀萍 蔡复之 《计算机集成制造系统-CIMS》 EI CSCD 1999年第6期17-22,共6页

分解与重组基于特征的零件设计与工艺设计的并行过程 ,实现了基于特征的零件设计与工艺设计的实时并行 ;通过增加设计小循环次数来减少设计大循环次数 ,从而减少设计的反复过程和缩短产品开发周期。建立了基于时间Petri网零件设计与工... 分解与重组基于特征的零件设计与工艺设计的并行过程 ,实现了基于特征的零件设计与工艺设计的实时并行 ;通过增加设计小循环次数来减少设计大循环次数 ,从而减少设计的反复过程和缩短产品开发周期。建立了基于时间Petri网零件设计与工艺设计的实时并行过程模型 ,通过计算设计循环时间 ,定量分析了实时并行过程的时域性 ,理论分析与实际基本一致 ,为实施产品实时并行设计方法提供了可靠的理论依据。 展开更多

关键词 过程建模 并行设计 petri网 CAPP 机械系统

在线阅读 下载PDF 职称材料

基于Petri网的面向对象型空间数据库概念设计模型 被引量：5

2

作者 兰小机 胡川 +1 位作者 谢旭阳 龙文星 《大地测量与地球动力学》 CSCD 北大核心 2007年第6期58-60,64,共4页

面向对象型数据库是数据库发展的一个必然趋势,在G IS中面向对象的空间数据库技术更显突出。介绍了Petri网的原理与空间数据库概念设计的传统方法,提出了基于Petri网的面向对象型空间数据库概念设计模型,并把模型图映射到对象-关系数据... 面向对象型数据库是数据库发展的一个必然趋势,在G IS中面向对象的空间数据库技术更显突出。介绍了Petri网的原理与空间数据库概念设计的传统方法,提出了基于Petri网的面向对象型空间数据库概念设计模型,并把模型图映射到对象-关系数据表中。 展开更多

关键词 petri网 空间数据库 概念设计模型 GIS 映射

在线阅读 下载PDF 职称材料

一种基于扩展Petri网的软件过程模型性能分析方法 被引量：5

3

作者 赵杨 李彤 柳青 《计算机工程与应用》 CSCD 北大核心 2004年第26期70-72,共3页

对软件过程模型进行性能分析是过程建模的一个重要环节,也是过程改进的一个重要依据。现有的模型评估方法都是使用基于指数分布假设的分析技术。论文提出了一种新的基于X-Petri网和正态分布假设的软件并行工程顺序、并行、循环三种基本... 对软件过程模型进行性能分析是过程建模的一个重要环节,也是过程改进的一个重要依据。现有的模型评估方法都是使用基于指数分布假设的分析技术。论文提出了一种新的基于X-Petri网和正态分布假设的软件并行工程顺序、并行、循环三种基本执行过程结构的性能等价分析方法。 展开更多

关键词 软件并行工程 过程建模 性能分析 petri网

在线阅读 下载PDF 职称材料

一种基于面向对象 Petri 网的并发程序建模方法 被引量：12

4

作者 任爱华 牛锦中 张永鸣 《北京航空航天大学学报》 EI CAS CSCD 北大核心 1998年第4期491-494,共4页

介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性... 介绍了一种基于面向对象Ｐｅｔｒｉ网的并发系统建模方法．该方法把面向对象技术与Ｐｅｔｒｉ网理论相结合，构成一种面向对象Ｐｅｔｒｉ网，可以解决用Ｐｅｔｒｉ网建立并发程序模型所遇到的状态爆炸问题，又使得建模系统具有可重用性且易于维护，是一种具有数学和图形方式相结合的形式化描述． 展开更多

关键词 软件工程 软件工具 建立模型 petri网 并发系统

在线阅读 下载PDF 职称材料

基于Petri网语言的系统设计与分析 被引量：3

5

作者 蒋昌俊 郑应平 疏松桂 《通信学报》 EI CSCD 北大核心 1997年第1期27-33,共7页

本文从Ｐｅｔｒｉ网语言着手，研究系统设计方法，提出相应的理论，建立有关策略，形成一套从用户需求到原型Ｐｅｔｒｉ网模型以及对模型的性质分析和控制的方法。通过对系统的逻辑行为及性能指标的分析比较。

关键词 并发系统 petri网语言 模型 建模 数字网

在线阅读 下载PDF 职称材料

复杂网络软件的着色Petri网层次建模及模型集成确认方法 被引量：2

6

作者 刘靖 叶新铭 周建涛 《高技术通讯》 CAS CSCD 北大核心 2013年第11期1139-1147,共9页

为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层次化建模及模型集成确认方法。给出了复杂数据抽象、并发行为控制、同类实体建模等层次建模关... 为准确描述复杂网络软件多交互、高并发等行为特征,以提高复杂网络软件设计质量和效率,提出了一种基于着色Petri网(CP-net)的复杂网络软件层次化建模及模型集成确认方法。给出了复杂数据抽象、并发行为控制、同类实体建模等层次建模关键技术,以及功能单元覆盖划分、模型等价抽象等模型集成确认关键技术的解决方案,并以典型网络软件系统为例分析了上述方法的可用性和有效性。从目前鲜有对特定形式模型论述模型正确性确认方法的现状看,这种融合多种CP-net模型分析技术的模型集成确认方法能够有效确保层次模型正确描述网络软件多交互、高并发的复杂功能行为,为软件验证、一致性测试等重要软件分析过程的高效实施提供描述准确且规模可控的基础形式模型。 展开更多

关键词 着色petri网(CP-net) 网络软件 模型确认 并发控制 模型检验

在线阅读 下载PDF 职称材料

基于Petri网的概念模型验证方法研究 被引量：5

7

作者 樊浩 黄树彩 《计算机应用研究》 CSCD 北大核心 2010年第3期999-1001,1005,共4页

针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错... 针对目前概念模型动态部分内容的验证由于其复杂性难以通过阅读式地审查发现其中的瑕疵等问题,提出了利用Petri网进行概念模型验证的一种新思路,研究了进行概念模型验证的具体步骤,分析了概念模型错误对应的Petri网错误,以及检测这些错误时需要验证的Petri网性质;最后以防空导弹作战过程为例,研究了利用Petri网以及CPN Tools软件进行概念模型动态部分内容验证的具体过程。实践证明此方法减少了领域专家直接进行概念模型验证的主观性影响,提高了效率。 展开更多

关键词 petri网 概念模型验证 CPN TOOLS 防空导弹作战过程

在线阅读 下载PDF 职称材料

功能确定的离散并发系统的Petri网规范设计方法 被引量：7

8

作者 蒋昌俊 《计算机学报》 EI CSCD 北大核心 1995年第7期532-538,共7页

本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ同模型的桥梁，也就是系统的规格说明．概念模型包括功能图、资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网... 本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ同模型的桥梁，也就是系统的规格说明．概念模型包括功能图、资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法．通过一制造系统的建模，说明了该方法的规范性和有效性． 展开更多

关键词 离散并发系统 petri网 概念模型

在线阅读 下载PDF 职称材料

基于Petri网的分布式系统并发进程的死锁检测 被引量：2

9

作者 刘荣峰 李引珍 吴桂华 《计算机工程与设计》 CSCD 北大核心 2007年第22期5353-5355,共3页

分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具。为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全... 分布式系统中的并发进程具有明显的并发、异步及分布性,而Petri网是模拟与分析并发、异步、分布式系统的有效工具。为此通过引入Petri网,给出了分布式系统局部并发进程等待的Petri网模型及死锁检测方法,提出了全链路合成的概念,利用全链路合成技术组装了全局并发进程等待的Petri网模型,给出了判断整个系统是否出现死锁的充分必要条件。 展开更多

关键词 分布式系统 并发进程 petri网模型 全链路合成 死锁检测

在线阅读 下载PDF 职称材料

扩展Petri网在实时数据库并发控制中的应用 被引量：2

10

作者 韩耀军 罗雪梅 蒋昌俊 《系统仿真学报》 CAS CSCD 2003年第z1期63-66,共4页

提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库... 提出了初始化弧的概念,并将这一概念引入高级时间Petri网中,从而给出了扩展的高级时间Petri网(Extended High-Level Time Petri Nets-EHLTPN)。此外,在EHLTPN模型中,变迁所附加的常量时间区间扩展为变量时间区间。用EHLTPN对实时数据库系统的并发事务进行了建模,所建模型不仅可以描述并发事务在数据存取中所出现的各种现象,而且还可以实现2PL-LW协议所具有的可避免并发事务的无用重启、无用等待、无死锁的等功能。 展开更多

关键词 初始化弧 扩展高级时间petri网 实时数据库系统 并发控制 建模 分析

在线阅读 下载PDF 职称材料

基于Petri网和并发调度标识图的并发任务调度的建模与分析 被引量：4

11

作者 韩耀军 《计算机科学》 CSCD 北大核心 2014年第7期105-109,共5页

在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析。Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具。给出了并发... 在云计算及网格计算环境下,由于资源具有分布、异构、动态、自治等特点,其并发任务的调度更加复杂,迫切需要强有力的图形与数学工具对其进行建模与分析。Petri网是描述与分析并发、异步、动态等事件的理想的图形与数学工具。给出了并发任务调度的加权时延Petri网模型。可达标识图是分析Petri网动态特性的一个重要工具,但它不能表达Petri网中变迁的并发关系,尤其是不便于分析被描述系统的时间特性。提出了并发调度标识图的概念,给出了构造时延Petri网的并发调度标识图的算法。最后,利用并发调度标识图分析了并行下载的时间特性。 展开更多

关键词 时延petri网 并发可达调度图 并发任务 建模与分析

在线阅读 下载PDF 职称材料

基于Petri网结构的多处理机实时操作系统 被引量：1

12

作者 任爱华 杜悦冬 《软件学报》 EI CSCD 北大核心 2001年第7期1064-1073,共10页

多处理机环境下的实时系统具有并发事件驱动性质 ,其软件结构展现了多重同步点以及生产者与消费者之间的关系 ,这导致了复杂的控制结构 .对于此类系统软件的开发缺少标准的方法和工具 ,造成了软件低效、程序结构不清晰、开发成本高、维... 多处理机环境下的实时系统具有并发事件驱动性质 ,其软件结构展现了多重同步点以及生产者与消费者之间的关系 ,这导致了复杂的控制结构 .对于此类系统软件的开发缺少标准的方法和工具 ,造成了软件低效、程序结构不清晰、开发成本高、维护困难的现象的出现 .根据Petri网易于描述并行 并发现象的特点 ,采用它来解决多处理机软件的描述问题 ,介绍了一种以Petri网图形方式在多处理机系统环境下进行程序设计的方法 .该方法基于两种程序设计级别 :任务级和作业级 .前者负责描述基本操作 ,由单一控制线程完成 ;后者用于并行 并发程序建模 ,由整个多处理机系统来执行 .在作业级程序设计中 ,用户采用面向对象Petri网来描述并行程序结构 ,以建立系统模型 .该方法以一种接近于程序员的思维方式去设计并发软件 ,提供了一种可靠的并行结构的程序 .阐述了支持此种程序设计方法的操作系统结构及其实现原理 . 展开更多

关键词 多处理机 petri网 面向对象 实时操作系统 软件系统

在线阅读 下载PDF 职称材料

非确定并发系统设计的Petri网形式化方法 被引量：1

13

作者 蒋昌俊 郑应平 疏松桂 《系统仿真学报》 CAS CSCD 1996年第4期37-46,共10页

本文首先建立逻辑偏序结构概念，用于刻划非确定系统的功能结构；建立环境结构，用于描述实现系统功能所需的资源及其服务关系；以约束集表示系统应遵守的行为规范，三者合一形成了系统的需求规格说明。基于需求规格说明，分别给出逻辑... 本文首先建立逻辑偏序结构概念，用于刻划非确定系统的功能结构；建立环境结构，用于描述实现系统功能所需的资源及其服务关系；以约束集表示系统应遵守的行为规范，三者合一形成了系统的需求规格说明。基于需求规格说明，分别给出逻辑偏序结构到功能网，功能网及其环境结构到系统结构网的转换算法。按照约束集的规范，结合以往的结果，对系统结构配置适当的初态，施加必要的协调控制装置，最终得到一个功能符合，性能良好，资源分配合理的系统Ｐｅｔｒｉ同模型。 展开更多

关键词 并发系统 petri网 非确定系统

在线阅读 下载PDF 职称材料

基于Petri网的作战指挥并发信息流模型研究与应用

14

作者 张力 赵宗涛 +1 位作者 慕晓冬 赵鹏 《计算机应用与软件》 CSCD 北大核心 2007年第7期52-53,共2页

在军事指挥系统中往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统的指挥效能。基于Petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究指挥系统的效能,例如,发现和... 在军事指挥系统中往往存在多维并发信息流,由此引发因争夺资源而产生的系统死锁,这将严重影响系统的指挥效能。基于Petri网建立了系统的数学模型,进而分析在并发信息流中产生死锁的关节所在,为从理论上研究指挥系统的效能,例如,发现和排解死锁等,提供了可靠根据,有效地保证了系统的正常运行。经部队仿真演习试用,效果良好,对于提高部队应急反应能力具有重要的价值。 展开更多

关键词 petri网 并发信息流 模型 死锁 作战指挥

在线阅读 下载PDF 职称材料

约束并发机制下Petri网模型的逻辑行为考察与随机性能评估

15

作者 蒋昌俊 疏松桂 郑应平 《自动化学报》 EI CSCD 北大核心 1996年第4期410-417,共8页

提出约束并发引发规则，建立该机制下Ｐｅｔｒｉ网行为的考察手段，进一步地对该机制下的随机Ｐｅｔｒｉ网的性能进行评估．本文结果可以作为约束并发调度规则下系统逻辑行为分析与随机品质估计的理论依据，为并发调度优化提供理论准备．

关键词 约束并发机制 petri网模型 随机品质 逻辑行为

在线阅读 下载PDF 职称材料

基于Petri网与改进A*搜索算法的矿井机车调度优化 被引量：4

16

作者 闫世昌 李文宏 孙彦良 《科学技术与工程》 北大核心 2020年第15期5990-5996,共7页

为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于Petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算... 为了提高煤矿井下机车调度效率、防止机车碰撞、堵塞,根据井下调度特点建立机车运行赋时Petri网模型。针对原有启发式A*搜索算法存在的易陷入局部最优的缺点,提出了基于Petri网的并发变迁遴选算法,引入变迁并发度概念,与启发式A*搜索算法相结合,得到改进的A*搜索算法。经过改进后算法的回溯计算,得到Petri可达图上的最佳路径,从而得出最优调度策略。根据以上算法进行MATLAB建模,最终仿真结果表明,经过改进的启发式A*搜索算法有效地避免了陷入局部最优解,其计算得出的调度路径及调度策略资源消耗量最少,调度效率较高且未出现机车堵塞碰撞等问题。 展开更多

关键词 井下机车调度 petri网模型 A~*搜索算法 并发变迁遴选算法 可达图

在线阅读 下载PDF 职称材料

基于Petri网的并发事件流程模型修复分析 被引量：3

17

作者 杨慧慧 方贤文 邵叱风 《计算机工程与科学》 CSCD 北大核心 2021年第10期1773-1780,共8页

目前,流程模型可以从大量的事件日志中挖掘出来,以重放大多数的日志。但是,少数偏离流程模型的日志亦是有效的,为了使事件日志与流程模型更加拟合,模型修复是一个很好的方法。提出了基于Petri网的并发事件流程模型修复分析方法。首先,... 目前,流程模型可以从大量的事件日志中挖掘出来,以重放大多数的日志。但是,少数偏离流程模型的日志亦是有效的,为了使事件日志与流程模型更加拟合,模型修复是一个很好的方法。提出了基于Petri网的并发事件流程模型修复分析方法。首先,找到事件日志与流程模型的最优对齐,筛选出用于修复的并发事件;其次,利用提出的重构子流程的修复方法,对筛选得到的并发事件进行重构;最后,根据算法嵌入到原始模型中以实现模型修复,并通过一个具体实例说明了该方法的合理有效性。修复后的模型可以完全重放给定的事件日志,并且能够避免因循环造成的多余行为的发生,同时也在最大程度上保留了原始模型的使用价值。 展开更多

关键词 petri网 模型修复 对齐 块结构 并发事件

在线阅读 下载PDF 职称材料

基于智能 CAD 系统的产品建模方法 被引量：11

18

作者 田凌 童秉枢 刘雄 《机械科学与技术》 EI CSCD 北大核心 1998年第3期474-476,共3页

研究了基于智能ＣＡＤ系统自顶向下的产品建模方法，以胶印机凸轮连杆机构为例，以变量设计技术为基础，建立了该机构的概念模型、装配模型和零件模型。不仅实现了运动仿真、结构仿真和工作点运动规律的输出，而且，通过模型与变量、变... 研究了基于智能ＣＡＤ系统自顶向下的产品建模方法，以胶印机凸轮连杆机构为例，以变量设计技术为基础，建立了该机构的概念模型、装配模型和零件模型。不仅实现了运动仿真、结构仿真和工作点运动规律的输出，而且，通过模型与变量、变量与变量之间的关联，建立了它们之间的设计参数双向传递机制，实现了三种模型的联动设计，为并行设计创造了条件。 展开更多

关键词 并行设计 产品建模型 概念模型 装配 零件 CAD

在线阅读 下载PDF 职称材料

面向并行工程的产品设计过程管理的抽象模型 被引量：8

19

作者 卢正鼎 汪涛 +2 位作者 曹化工 杨曼红 潘玲 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2000年第2期121-126,共6页

设计过程管理是企业新产品开发活动的一个重要组成部分,它关系着企业是否能够以更好的产品,更快地抢占市场.通过仔细调研国内多家大中型国有企业的产品设计过程管理活动,以并行工程思想方法为指导,提出了一个产品设计过程管理的抽象模型... 设计过程管理是企业新产品开发活动的一个重要组成部分,它关系着企业是否能够以更好的产品,更快地抢占市场.通过仔细调研国内多家大中型国有企业的产品设计过程管理活动,以并行工程思想方法为指导,提出了一个产品设计过程管理的抽象模型.最后针对抽象模型的应用。 展开更多

关键词 设计过程管理 并行工程 产品设计 新产品开发

在线阅读 下载PDF 职称材料

一个支持软件并行工程的过程模型 被引量：8

20

作者 王黎霞 李彤 《计算机工程》 CAS CSCD 北大核心 1999年第11期10-11,46,共3页

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性，提出了一个基于Ｐｅｔｒｉ网的支持软件并行工程的软件过程模型ＳＤＤＭ，给出了将软件过程内部的局部并行性延... 实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性，提出了一个基于Ｐｅｔｒｉ网的支持软件并行工程的软件过程模型ＳＤＤＭ，给出了将软件过程内部的局部并行性延拓到该过程全局的方法。 展开更多

关键词 软件并行工程 petri网 SDDM模型 软件开发

在线阅读 下载PDF 职称材料