基于PC数控实时检测系统建模方法研究 被引量：3

1

作者 向华 陈吉红 +1 位作者 周云飞 陈立新 《中国机械工程》 EI CAS CSCD 北大核心 2003年第20期1777-1779,共3页

为了解决在基于 PC的数控系统中快速构建实时检测系统的问题 ,采用着色时间网对实时检测系统建模 ,应用着色时间网统一地表达了检测系统在基于 PC数控系统中的时间关系、资源关系和系统的控制策略 。

关键词 实时检测系统 PC数控 着色时间网 模型

下载PDF 职称材料

基于着色时间Petri网的航班保障服务建模方法 被引量：15

2

作者 邢志伟 魏志强 +3 位作者 罗谦 文涛 丛婉 夏欢 《系统工程与电子技术》 EI CSCD 北大核心 2018年第5期1064-1069,共6页

航班地面保障过程的定量描述以及保障服务时间的准确估计是提升机场保障服务效率的关键。通过分析航班地面保障服务实际作业流程,提出了一种基于着色时间Petri网的航班地面保障服务定量描述模型。该模型将保障服务分为作业、状态、资源... 航班地面保障过程的定量描述以及保障服务时间的准确估计是提升机场保障服务效率的关键。通过分析航班地面保障服务实际作业流程,提出了一种基于着色时间Petri网的航班地面保障服务定量描述模型。该模型将保障服务分为作业、状态、资源3部分,利用着色时间Petri网基本元素描述保障作业、作业逻辑关系、服务状态及其与保障作业的关系,根据该模型设计了一种基于蒙特卡罗仿真的保障服务时间估算方法。利用国内某大型枢纽机场实际航班保障服务时间数据与本文提出的方法估计保障时间数据估算误差进行分析验证,表明本文提出方法对航班地面保障服务时间估计的可行性和有效性。 展开更多

关键词 航班保障服务模型 着色时间Petri网 蒙特卡罗法 模型评估

下载PDF 职称材料

PDM系统中工作流与过程管理模型的建立 被引量：8

3

作者 李涛 钟诗胜 《哈尔滨工业大学学报》 EI CAS CSCD 北大核心 2006年第6期852-855,896,共5页

介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管... 介绍了PDM系统中工作流和过程管理的功能和组件层次,探讨了工作流管理系统的体系结构和工作流过程管理的模型,给出了工作流实现的类模型,研究了工作流和过程管理的关键技术并给出具体的实现方法.将着色时间Petri网引入到PDM的工作流管理系统中,将基于Petri网的并行式工作流模型应用于PDM系统中,用可达图来分析Petri网工作流模型的静态和动态的结构性能,给出了审批流程的着色时间Petri网模型和流程的变迁过程,在最后的实例中说明了工作流管理的具体实现和工作流的执行过程. 展开更多

关键词 产品数据管理(PDM) 工作流管理 过程管理 着色时间Petri网

下载PDF 职称材料

基于着色时间Petri网的工业火灾应急响应行动建模与性能分析 被引量：7

4

作者 周剑峰 李子成 《安全与环境学报》 CAS CSCD 北大核心 2019年第2期562-568,共7页

为了更好地评估应急响应行动的性能,保证应急响应行动高效、可行,研究应急响应行动的建模与分析方法。首先,考虑应急响应行动的时间和各行动间的关系,提出一种基于着色时间Petri网的应急响应行动建模与性能分析方法;其次,通过CPN Tools... 为了更好地评估应急响应行动的性能,保证应急响应行动高效、可行,研究应急响应行动的建模与分析方法。首先,考虑应急响应行动的时间和各行动间的关系,提出一种基于着色时间Petri网的应急响应行动建模与性能分析方法;其次,通过CPN Tools工具建立工业火灾应急响应行动的Petri网模型,分析应急响应的时间规律;最后,基于该模型构建同构马尔可夫链,分析应急响应行动的性能。结果表明,工业火灾应急响应时间服从对数正态分布函数;将其应用于车间火灾实例,表明该方法有效、可行。 展开更多

关键词 公共安全 着色时间Petri网 工业火灾 应急响应行动 性能分析

下载PDF 职称材料

基于着色时间Petri网的实时系统的形式验证 被引量：5

5

作者 吴琼 邵志清 +1 位作者 刘刚 陈丽琼 《计算机科学》 CSCD 北大核心 2008年第7期257-260,共4页

嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质。时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模... 嵌入式实时系统多数应用在安全性要求较高的场合,因此需要保证系统的正确性。复杂性不断增加的实时系统迫切需要在系统开发早期引入形式化分析技术来验证系统的期望性质。时间Petri网是有严格数学基础的图形表达工具,适合对实时系统建模;时间自动机(Timed Automata,TA)有成熟的验证工具,被广泛用于实时系统的模型检验和验证。本文提出一种基于着色时间Petri网(Colored Time Petri Net,CTPN)的实时系统的验证方法,用CTPN对带有控制流和数据流的实时系统建模,通过转换规则将CTPN模型转换成语义等价的TA模型,利用模型检验工具UPPAAL验证系统的性质。最后,用实例证明此方法有效。 展开更多

关键词 着色时间Petri网 时间自动机 转换算法 模型检验

下载PDF 职称材料

基于Petri网的地铁供电故障应急响应过程建模探析

6

作者 韩金燕 杨霄 《安全与健康》 2023年第9期53-58,共6页

地铁供电系统的正常运行对于地铁的安全和稳定至关重要,而应急响应能力则是保障其正常运行的关键。文章基于着色时间Petri网方法,使用CPNtools仿真工具构建了地铁供电故障事故现场中应急疏散组与故障抢修组的应急响应过程模型。通过建... 地铁供电系统的正常运行对于地铁的安全和稳定至关重要,而应急响应能力则是保障其正常运行的关键。文章基于着色时间Petri网方法,使用CPNtools仿真工具构建了地铁供电故障事故现场中应急疏散组与故障抢修组的应急响应过程模型。通过建模仿真,得出该应急响应过程的时间规律呈正态分布。并且,基于该模型进行同构马尔可夫链定量分析,找出该应急响应过程中存在的瓶颈环节,提出针对性对策建议,以期为地铁供电故障应急响应提供参考。 展开更多

关键词 地铁供电故障 应急响应过程 着色时间Petri网 马尔可夫链 CPNtools仿真

原文传递

模块化组合设备的晶圆加工过程建模研究 被引量：2

7

作者 苏平 伍乃骐 于兆勤 《中国机械工程》 EI CAS CSCD 北大核心 2007年第11期1307-1311,共5页

晶圆加工过程中使用的模块化组合设备具有可重构性,设备配置的复杂程度由晶圆加工工艺方案决定,针对这一特点,研究了晶圆加工系统的Petri网建模问题。对晶圆加工模块化组合设备的加工流程进行了分析,给出了描述晶圆加工过程的时间Petri... 晶圆加工过程中使用的模块化组合设备具有可重构性,设备配置的复杂程度由晶圆加工工艺方案决定,针对这一特点,研究了晶圆加工系统的Petri网建模问题。对晶圆加工模块化组合设备的加工流程进行了分析,给出了描述晶圆加工过程的时间Petri网模型。为避免Petri网模型随着设备复杂程度的增加而迅速膨胀,通过对系统运行特点的分析,建立了着色时间Petri网模型,网中节点数为常数值,与设备的复杂程度无关。从满足晶圆加工时间约束的角度,给出了带有时序控制器的着色时间Petri网模型,该模型有助于研究复杂制造系统的动态行为和生产过程控制。 展开更多

关键词 模块化组合设备 晶圆加工 建模 着色时间Petri网

下载PDF 职称材料

智能小区电能调度系统的着色时间Petri网建模 被引量：3

8

作者 周师师 李玲娟 +1 位作者 陈建新 徐小龙 《南京邮电大学学报（自然科学版）》 北大核心 2012年第1期94-97,103,共5页

智能电网是物联网的重要应用之一,智能小区的电能调度系统是智能电网的重要内容。文中以节约能源、合理配电为目标,研究智能小区电能调度问题,采用着色时间Petri网对智能小区电能调度系统的工作流进行建模。给出了用电活动的语义,建立... 智能电网是物联网的重要应用之一,智能小区的电能调度系统是智能电网的重要内容。文中以节约能源、合理配电为目标,研究智能小区电能调度问题,采用着色时间Petri网对智能小区电能调度系统的工作流进行建模。给出了用电活动的语义,建立了常规电能调度模型、中心式电能调度模型、分布式电能调度模型,并通过分析说明了所建模型的有效性。 展开更多

关键词 智能电网 智能小区 着色时间Petri网 电能调度

下载PDF 职称材料

基于着色时间Petri网的装备维修资源确定方法 被引量：2

9

作者 郑重 徐廷学 王相飞 《舰船科学技术》 2011年第2期131-133,143,共4页

科学的确定装备维修资源对提高部队装备保障能力和战斗力具有重要的现实意义。针对以往确定维修资源方法中所存在的问题,在介绍着色时间Petri网基本原理的基础上,提出了一种基于着色时间Petri网的维修资源确定方法。阐述了通过着色时间P... 科学的确定装备维修资源对提高部队装备保障能力和战斗力具有重要的现实意义。针对以往确定维修资源方法中所存在的问题,在介绍着色时间Petri网基本原理的基础上,提出了一种基于着色时间Petri网的维修资源确定方法。阐述了通过着色时间Petri网来描述维修作业的时序关系和维修资源的种类关系,绘制装备维修的Petri网络图,构建关联矩阵和进行相关计算得到维修资源的基本思路和步骤。最后结合实例进行分析,结果表明该方法是有效的,具有较高的使用价值。 展开更多

关键词 着色时间Petri网 武器装备 维修资源

下载PDF 职称材料

任务关键系统的时间约束验证与最优路径分析 被引量：1

10

作者 陈莹 孙晓波 +1 位作者 邢建春 杨启亮 《计算机工程》 CAS CSCD 北大核心 2018年第5期60-65,77,共7页

针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务... 针对任务关键系统工作流中对时间验证不够完善的问题,提出一种新的工作流建模和时间验证方法。基于库所含时间因素的着色时间Petri工作流网,将系统中的任务划分为关键任务和非关键任务,对不满足时间约束的活动进行管理,在完成最终任务的前提下,尽可能多地执行工作流中的非关键任务,从而减少时间资源的浪费。在此基础上,将工作流中活动的时间约束转化为数学约束问题,并运用MATLAB对模型进行分析,最终得出工作流中的最优路径。对军港岸基保障信息系统案例进行分析,结果表明,该方法具有一定的可行性和实用性。 展开更多

关键词 WEB服务组合 任务关键系统 时间验证 最优路径 着色时间Petri网

下载PDF 职称材料

基于着色时间Petri网的项目进度制定与优化 被引量：1

11

作者 刘哲锋 杜小平 《管理观察》 2014年第29期108-110,共3页

着色时间Petri网具有网络图、时间、着色令牌的三重特性,能够充分表达项目进度计划中的工序流程、工序工期以及资源的约束,可为资源约束下进度计划的制定与优化提供更为便捷、有效的方法工具。本文从着色时间Petri网的定义出发,给出了... 着色时间Petri网具有网络图、时间、着色令牌的三重特性,能够充分表达项目进度计划中的工序流程、工序工期以及资源的约束,可为资源约束下进度计划的制定与优化提供更为便捷、有效的方法工具。本文从着色时间Petri网的定义出发,给出了基于着色时间Petri网的项目进度计划描述方法;引入了资源调控层,给出了项目进度执行过程中资源的注入、分配和释放规则,实现了进度计划的仿真优化。 展开更多

关键词 着色时间Petri网 进度计划 资源约束

下载PDF 职称材料

一种验证业务级服务组合可执行能力的方法 被引量：1

12

作者 单保华 韩燕波 +1 位作者 李厚福 胡海涛 《计算机科学》 CSCD 北大核心 2006年第3期114-116,128,共4页

在面向服务的环境中,服务组合的可执行能力具有很大的不确定性,在业务级别组合服务更是如此。影响业务级服务组合可执行能力的因素是多方面的,本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力... 在面向服务的环境中,服务组合的可执行能力具有很大的不确定性,在业务级别组合服务更是如此。影响业务级服务组合可执行能力的因素是多方面的,本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响,提出了一种基于着色时间 Petri 网(CTPN)的业务级服务组合可执行能力验证方法,并以制造业网格应用平台 AmGrid 为案例,展示了该方法在平台中的应用效果。 展开更多

关键词 业务级服务组合 着色时间Petri网 可执行能力验证

下载PDF 职称材料

基于着色时间Petri网的多组合设备建模技术研究

13

作者 刘俊 邓高见 《机电产品开发与创新》 2010年第6期85-87,共3页

模块化组合设备(cluster tool)是晶圆制造过程中的一种典型的集成化设备,设备配置的复杂程度由晶圆加工工艺方案决定。针对这一特点,研究了多组合设备(Multi-cluster tool)系统的Petri网建模问题。本文对晶圆加工多组合设备的加工流程... 模块化组合设备(cluster tool)是晶圆制造过程中的一种典型的集成化设备,设备配置的复杂程度由晶圆加工工艺方案决定。针对这一特点,研究了多组合设备(Multi-cluster tool)系统的Petri网建模问题。本文对晶圆加工多组合设备的加工流程进行了分析,提出了一种多组合设备系统的分解方法,并构建了多组合设备系统的着色时间Petri网模型。 展开更多

关键词 多组合设备 着色时间Petri网 晶圆加工 建模

下载PDF 职称材料

零售供应链动态协同需求预测模型研究

14

作者 薛军 薛红 周阿蒙 《现代商贸工业》 2015年第9期39-42,共4页

从系统工程的角度定量研究供应链运作模式下多级库存需求水平的预测问题。针对零售供应链系统中事件具有时延和随机并发性的特点,建立了一种基于着色时间Petri网和Agent的零售供应链动态协同需求预测模型。分析了零售供应链中零售企业... 从系统工程的角度定量研究供应链运作模式下多级库存需求水平的预测问题。针对零售供应链系统中事件具有时延和随机并发性的特点,建立了一种基于着色时间Petri网和Agent的零售供应链动态协同需求预测模型。分析了零售供应链中零售企业、分销商和供应商三者各自的实时库存需求预测量及其相互关系。最后以某零售供应链的相关数据对预测模型进行了验证,仿真结果表明,该预测模型可以协调供应链中的各个系统要素,实现动态协同需求预测和信息共享,从而能够为连锁零售供应链多级库存实时控制决策提供参考。 展开更多

关键词 零售供应链 动态协同需求预测 着色时间Petri网 多AGENT系统

下载PDF 职称材料

基于着色时间Petri网的工作流模型及其性能分析 被引量：12

15

作者 李涛 钟诗胜 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第6期824-831,共8页

为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析·采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程·... 为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析·采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程·给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理·以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证· 展开更多

关键词 产品数据管理 工作流管理 着色时间工作流网 可达图 性能分析

下载PDF 职称材料

基于Petri网的工业火灾应急响应行动时间分析 被引量：8

16

作者 李子成 周剑峰 《中国安全科学学报》 CAS CSCD 北大核心 2018年第7期184-189,共6页

为预防石化工业储罐区火灾触发的多米诺效应,首先,构建基于层次着色时间Petri网（HCTPN）的储罐火灾应急响应模型,以库所表示状态或指令,以变迁表示应急响应行动,以托肯的移动表示系统的动态变化;其次,提出5种不同的时间模式,包括时间... 为预防石化工业储罐区火灾触发的多米诺效应,首先,构建基于层次着色时间Petri网（HCTPN）的储罐火灾应急响应模型,以库所表示状态或指令,以变迁表示应急响应行动,以托肯的移动表示系统的动态变化;其次,提出5种不同的时间模式,包括时间串行门、时间输出与门、时间输入与门、时间输出或门和时间输入或门,分析该模型的时间性能;最后,以某储罐火灾为例,通过CPN Tools仿真分析应急响应时间,评估多米诺效应发生的概率,并通过讨论2种场景探究应急响应行动的协作对多米诺效应的影响。结果表明：应急行动的并行模式比串行模式更省时间、更能预防多米诺效应;用所构建模型能有效地分析应急响应行动的时间性能。 展开更多

关键词 层次着色时间Petri网(HCTPN) 工业火灾 多米诺效应 应急行动 时间分析

下载PDF 职称材料

装备供给保障系统的建模研究 被引量：2

17

作者 陈海兵 梁加红 《计算机仿真》 CSCD 2007年第8期8-11,15,共5页

装备供给保障系统是装备保障的重要组成部分。文章以三级结构为例,详细分析了该系统的结构、功能和流程。基于层次着色时间Petri网为该装备供给保障系统建模,用可视化仿真环境arena实现,并进行性能分析。层次化的方法减少利用普通Petri... 装备供给保障系统是装备保障的重要组成部分。文章以三级结构为例,详细分析了该系统的结构、功能和流程。基于层次着色时间Petri网为该装备供给保障系统建模,用可视化仿真环境arena实现,并进行性能分析。层次化的方法减少利用普通Petri网模拟复杂系统时所遇到的难度,引入的颜色概念满足了不同种类的物资供给需求。该仿真方案能迅速提供供给保障系统的相关性能数据,为其结构设计和资源配置提供参考。文章所提出的思路和方法是对装备供给保障系统建模仿真是一种新的尝试,且略加改造,可应用于其他系统中。 展开更多

关键词 装备供给 仿真 层次着色时间佩特里网

下载PDF 职称材料

基于Petri网的机场应急救援预案建模分析 被引量：3

18

作者 潘卫军 王蓝 +1 位作者 殷浩然 朱新平 《航空计算技术》 2021年第4期6-9,14,共5页

为了提高机场应急能力,得到应急演练时间,利用Petri网可用于描述同步并发事件的特点,构建机场各事故的时间着色网模型,以库所表示救援状态,变迁表示救援行动,托肯的移动表示救援的动态变化;利用初始状态的设置,表示部门是否参与此次救援... 为了提高机场应急能力,得到应急演练时间,利用Petri网可用于描述同步并发事件的特点,构建机场各事故的时间着色网模型,以库所表示救援状态,变迁表示救援行动,托肯的移动表示救援的动态变化;利用初始状态的设置,表示部门是否参与此次救援;利用CPN Tools软件实现预案的多次快速推演,得到救援时间。利用CPN Tools软件结合机场应急预案文本,充分考虑各救援部门之间的协同和先后顺序,并基于这个模型以多个具体救援预案为例说明了这种模型的合理性,用所构建的模型能得到真实合理的应急演练的时间性能。 展开更多

关键词 机场安全 应急演练 预案推演 层次着色时间Petri网

下载PDF 职称材料

基于Petri网的项目管理模型研究 被引量：2

19

作者 沈俊鑫 郭晓军 《昆明理工大学学报（自然科学版）》 CAS 北大核心 2014年第5期101-108,共8页

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于... 项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具. 展开更多

关键词 项目动态管理 资源约束 着色时间约束Petri网

下载PDF 职称材料

着色时间工作流网任务调度的时间约束分析 被引量：1

20

作者 李涛 钟诗胜 《计算机工程与应用》 CSCD 北大核心 2006年第8期16-19,113,共5页

为实现工作流管理系统中的任务调度和时间管理,避免流程在多任务运转时产生溢出,提高流程的工作效率。采用不固定时延定义了着色时间Petri网,通过控制任务间的最小时距避免了溢出,并用任务监测器实现了相应的控制策略。以各任务间的时... 为实现工作流管理系统中的任务调度和时间管理,避免流程在多任务运转时产生溢出,提高流程的工作效率。采用不固定时延定义了着色时间Petri网,通过控制任务间的最小时距避免了溢出,并用任务监测器实现了相应的控制策略。以各任务间的时间间隔最小为优化目标,对串行、并行、条件选择和循环四种基本着色时间工作流网进行了时序分析和任务调度,推导出多任务在基本着色时间工作流网调度的数学模型和着色时间工作流网整体运行时间函数的计算公式。最后通过一个审批流程对论述的任务调度方法进行了验证。 展开更多

关键词 工作流管理 着色时间工作流网 任务调度 时间约束 溢出

下载PDF 职称材料