期刊文献+
共找到8,245篇文章
< 1 2 250 >
每页显示 20 50 100
基于广义随机Petri网的口岸站通关流程优化——以磨憨口岸站为例
1
作者 杨红 汤银英 陈思 《铁道运输与经济》 北大核心 2025年第3期84-94,共11页
边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程... 边境铁路口岸站是跨境铁路运输的关键节点,在国际物流通道中发挥着重要作用,其运输效率直接影响跨境贸易。随着国际货运班列数量的增长,口岸站货物滞留问题日益突出。以提升口岸站通关效率为目标,运用广义随机Petri网对口岸站通关流程进行建模分析,借助AnyLogic仿真工具进行情景模拟,旨在识别并改善口岸站通关流程中的关键环节,选取“最大拥堵长度”“列车通过率”和“列车平均在站停留时间”作为评估优化效果的关键指标,以磨憨口岸站进口作业流程为例进行分析,结果表明:优化措施不仅可以缓解磨憨口岸站的拥堵情况,相较于优化前口岸站的列车通过率提高106.5%,列车平均在站停留时间减少76.3%,验证了所用方法的有效性。 展开更多
关键词 口岸站 通关流程优化 广义随机petri AnyLogic仿真 优化措施
在线阅读 下载PDF
基于故障枚举树生成模糊Petri网的变电站故障诊断方法
2
作者 吴与伦 肖谭南 陈颖 《工矿自动化》 北大核心 2025年第1期85-94,共10页
针对目前考虑时序信息的Petri网故障诊断模型复杂、自动建模困难的问题,提出了一种基于故障枚举树生成模糊Petri网的变电站故障诊断方法。为了完备地遍历变电站系统中各故障组合场景,提出了一种基于广度优先搜索的故障枚举树遍历方法,... 针对目前考虑时序信息的Petri网故障诊断模型复杂、自动建模困难的问题,提出了一种基于故障枚举树生成模糊Petri网的变电站故障诊断方法。为了完备地遍历变电站系统中各故障组合场景,提出了一种基于广度优先搜索的故障枚举树遍历方法,实现了变电站一二次故障组合的快速遍历仿真。基于仿真结果建立变电站模糊时序Petri网故障诊断模型,通过并行推理计算实现变电站故障快速诊断。在CloudPSS云仿真平台建立典型110 kV变电站的一二次联动仿真算例进行测试,结果表明:该方法将保护设备和断路器的动作时限信息计入故障推理过程,考虑在经典Petri网模型的矩阵运算推理基础上加入动作时限与告警信息的时间戳比对计算,因此在部分告警信息失真的情况下依然有较好的诊断效果;该方法可在保证故障诊断准确性的情况下应用于更加复杂的二次保护系统;采用并行分层矩阵推理算法,提升了诊断模型的推理效率,具有较高实用价值;在推理计算过程中对置信度增加了修正步骤,更加充分地考虑了保护拒动或误动及告警信息误报或漏报对故障诊断的影响,对于复杂故障情况有更高的容错性。 展开更多
关键词 变电站 故障诊断 继电保护 CloudPSS建模仿真 模糊petri
在线阅读 下载PDF
基于Petri网的微网系统配电网故障诊断研究
3
作者 李文清 孙霞 《洛阳理工学院学报(自然科学版)》 2025年第1期50-54,共5页
针对分布式电源的接入导致微网系统配电网传统故障检测已不再适用的问题,提出一种基于Petri网配电网故障检测方法。当线路发生故障时,配电开关监控终端(Feeder Terminal Unit,FTU)检测到异常负序电流信息,迅速识别发生的故障,并上传故... 针对分布式电源的接入导致微网系统配电网传统故障检测已不再适用的问题,提出一种基于Petri网配电网故障检测方法。当线路发生故障时,配电开关监控终端(Feeder Terminal Unit,FTU)检测到异常负序电流信息,迅速识别发生的故障,并上传故障信息,锁定故障发生节点,并对故障节点搭建Petri网模型,经过矩阵运算,可准确判断故障发生所在馈线位置。用MATLAB中的Stateflow模块对Petri网模型搭建仿真模型,验证基于Petri网配电网故障诊断的准确性。 展开更多
关键词 微网系统 分配式电源 故障诊断 petri STATEFLOW
在线阅读 下载PDF
面向对象Petri网建模技术综述 被引量:18
4
作者 舒远仲 刘炎培 +1 位作者 彭晓红 陈志勇 《计算机工程与设计》 CSCD 北大核心 2010年第15期3432-3435,共4页
阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对... 阐述了面向对象技术和Petri网的结合方式,提出了面向对象Petri网的建模过程,给出其详细的建模步骤和流程图,讨论了面向对象Petri网的动态特性分析方法,分析和总结了OOPN、OOCPN、OOAPN以及OOTPN的研究现状和各自建模的利弊,最后对面向对象Petri网的相关技术和发展趋势进行了综述与展望。 展开更多
关键词 petri 面向对象 面向对象着色petri 面向对象代数petri 面向对象赋时petri
在线阅读 下载PDF
故障检测的Petri网模型与Petri网故障进程 被引量:1
5
作者 张继军 李小青 董卫 《小型微型计算机系统》 CSCD 北大核心 2014年第9期2029-2033,共5页
Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网... Petri网进程是分析网系统运行规律的有力工具,能够准确的模拟系统的动态运行过程,且能反映故障传播的固有特性.分析故障在Petri网进程中的表现特征,提出了故障检测的Petri网模型和故障进程,并给出了故障检测、定位方法.首先,对Petri网进行扩展,提出了带输入输出的Petri网和故障检测的Petri网模型,为了描述该类Petri网的动态行为特征,给出了Petri网故障进程、2-进程以及故障检测进程的定义和构造方法;然后,基于故障检测进程给出了故障检测和故障定位的检测方法;最后采用该方法,给出了时序电路故障检测应用实例. 展开更多
关键词 带输入输出的petri 故障检测petri模型 petri网2-进程 petri网故障进程
在线阅读 下载PDF
基于随机Petri网的突发火灾应急预案流程化研究 被引量:1
6
作者 杨震 肖平 郭梨 《工业安全与环保》 2024年第10期1-5,共5页
为提高突发火灾的应急响应效率,根据突发火灾的应急响应流程构建了基于随机Petri网(SPN)的仿真模型,通过仿真计算获取了该模型的状态可达集,由可达集构建与模型同构的马尔可夫链对模型进行计算分析,得到了突发火灾SPN模型所有可达状态... 为提高突发火灾的应急响应效率,根据突发火灾的应急响应流程构建了基于随机Petri网(SPN)的仿真模型,通过仿真计算获取了该模型的状态可达集,由可达集构建与模型同构的马尔可夫链对模型进行计算分析,得到了突发火灾SPN模型所有可达状态的稳态概率,利用库所繁忙率、变迁利用率2个指标对模型进行性能分析。结果表明,突发火灾应急响应流程中应急专家、救援人员、救援物资3个业务单元的繁忙率高达35.36%、39.37%、38.25%,展开应急救援耗时在流程总耗时中占比高达27.74%,制定突发火灾应急预案时需着重对以上业务单元及流程环节进行优化,从而优化应急资源调配,提高应急响应整体效率。 展开更多
关键词 火灾应急预案 随机petri 马尔可夫链 性能分析
在线阅读 下载PDF
基于模糊Petri网的引航员作业舒适度评价
7
作者 胡甚平 刘玲玲 +1 位作者 席永涛 张欣欣 《中国安全科学学报》 CAS CSCD 北大核心 2024年第4期67-76,共10页
为提高引航员的作业舒适度,提出一种基于模糊Petri网(FPN)的模糊推理算法(FRA)下的组合评价方法。首先,针对作业舒适度影响因子的不确定性信息,建立多因素耦合的FPN拓扑结构;然后,采用博弈论组合赋权法确定最优组合权重,提出融合层间相... 为提高引航员的作业舒适度,提出一种基于模糊Petri网(FPN)的模糊推理算法(FRA)下的组合评价方法。首先,针对作业舒适度影响因子的不确定性信息,建立多因素耦合的FPN拓扑结构;然后,采用博弈论组合赋权法确定最优组合权重,提出融合层间相关性判断临界重要性、层次分析法和FRA,建立基于主客观权重的FRA,通过迭代求解库所可信度和状态矩阵;最后,结合上海港船舶引航的场景数据,基于FPN的FRA应用,评价引航员作业舒适度。结果表明:环境与引航设备是影响其作业舒适度的关键因素,冬季和夏季的引航作业舒适度评价等级对应“较不舒适”,其中,5月份为“较舒适”。所提方法充分体现系统舒适度影响因素的耦合特性。 展开更多
关键词 模糊petri网(FPN) 引航员作业 舒适度评价 模糊推理算法(FRA) 博弈论组合赋权
在线阅读 下载PDF
基于带抑制弧的Petri网描述的嵌入式系统模型组合与性质分析
8
作者 夏传良 王壮壮 郭脉波 《计算机应用与软件》 北大核心 2024年第9期279-287,共9页
为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合... 为了有效满足嵌入式系统的建模需求,提出基于带抑制弧的Petri网描述的嵌入式系统模型(PIRES+网)。当采用PIRES+网对大规模复杂嵌入式系统进行建模时,会遇到“状态空间爆炸”问题,为了有效缓解该问题,提出PIRES+网的两种组合方法;就组合网对活性和有界性的保持问题进行研究,最后以移动终端网络通信系统的建模和分析为例,表明了所提组合方法的有效性。 展开更多
关键词 petri 系统建模 抑制弧 组合 活性
在线阅读 下载PDF
一种分层模糊Petri网风险评估方法
9
作者 古莹奎 何力韬 毕庆鹏 《机械设计与制造》 北大核心 2024年第2期369-372,379,共5页
针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊P... 针对传统模糊Petri网在对不确定环境下的专家系统的知识表示与推理时无法兼顾不确定知识的模糊性与随机性、在复杂的故障情况下故障的因果关系表达不清晰、定量推理计算时缺乏层次性、不能局部求解的问题,构建一种基于云模型的分层模糊Petri网以加强模糊Petri网的知识表示能力和提高推理过程的计算效率。利用专家知识和Petri网层次分解原则将系统故障模式和故障原因之间的因果关系进行建模,使故障建模更具结构性,计算更加灵活;应用云模型处理知识的模糊性和不确定性;通过合理考虑局部权重和全局权重,结合Petri网层次分解原则和云聚合算子给出相应的推理算法。实例验证表明,所提方法能够有效对系统进行风险评估,且在知识表示和推理方面优于其他方法。 展开更多
关键词 风险评估 模糊petri网(FPN) 云模型 层次分解原则
在线阅读 下载PDF
基于毕达哥拉斯模糊概率Petri网的FPSO单点关键部件风险评估
10
作者 张宝雷 于之兴 +1 位作者 韩宇 孙冰 《船海工程》 北大核心 2024年第5期88-93,共6页
为准确对FPSO单点系泊系统关键部件进行风险评估,通过产生式规则建立概率Petri网络模型,基于德尔菲法的结构熵权法确定专家权重,并引入毕达哥拉斯模糊集理论收集、聚合专家意见得到基本事件的模糊可能性得分和模糊失效概率,利用概率推... 为准确对FPSO单点系泊系统关键部件进行风险评估,通过产生式规则建立概率Petri网络模型,基于德尔菲法的结构熵权法确定专家权重,并引入毕达哥拉斯模糊集理论收集、聚合专家意见得到基本事件的模糊可能性得分和模糊失效概率,利用概率推理算法迭代出最终的失效概率,并进行基本事件重要度分析。实例分析结果表明,引起单点系泊系统发生失效的主要因素有电滑环电刷磨损、电滑环负载电流较高、液滑环结构物晃动冲击、液滑环润滑不充分、电滑环电压过高击穿等。针对主要风险因素提出预防和控制措施,能够保障系统安全正常地运转。 展开更多
关键词 FPSO单点系泊系统 概率petri 毕达哥拉斯模糊集 风险评估
在线阅读 下载PDF
基于时序Petri网的机器人柔性作业车间无死锁调度优化算法
11
作者 陈海波 张超隆 董建明 《浙江理工大学学报(自然科学版)》 2024年第6期839-850,共12页
研究了一类源于芯片生产等智能制造领域的机器人柔性作业车间调度问题。针对该类问题在算法设计过程中,需要同时考虑工件加工、机器人运输和死锁求解等带来的问题,提出了一种基于时序Petri网的无死锁调度优化算法。首先,对问题进行时序P... 研究了一类源于芯片生产等智能制造领域的机器人柔性作业车间调度问题。针对该类问题在算法设计过程中,需要同时考虑工件加工、机器人运输和死锁求解等带来的问题,提出了一种基于时序Petri网的无死锁调度优化算法。首先,对问题进行时序Petri网建模,提出了一种基于Petri网变迁串的解表示形式,以方便死锁求解和算法寻优;其次,通过对问题死锁的结构分析和分类,提出了一种死锁判断和求解算法,并证明了算法可在多项式时间内求解任意类型死锁,同时也能在一定程度上保证解的优良结构;最后,提出了问题的一种离散蜂群算法求解方案,在算法寻优过程中进行实时死锁求解以保证解的可行性和较快的收敛速度。不同规模实例的数值实验和与问题最优解及最优解下界的比较分析表明,提出的算法对不同类型实例都体现了较好的性能和较低的时间复杂度。该研究为复杂作业车间实时调度问题的算法研究提供了新思路和方法。 展开更多
关键词 作业车间调度 离散蜂群算法 单机器人 petri 阻塞和死锁
在线阅读 下载PDF
基于随机Petri网的民机审定试飞实施流程建模与分析 被引量:1
12
作者 邓汉年 周杰 +3 位作者 杨波 易力力 傅广 周鹏 《计算机科学》 CSCD 北大核心 2024年第S01期1063-1068,共6页
审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形... 审定试飞是民用飞机获取型号合格证书的重要活动,具有高成本、高风险的特点。研究审定试飞的实施流程有利于推动试飞工作有序进行,进而缩短试飞周期及降低试飞成本。目前对试飞流程的研究局限于流程描述与定性分析,缺乏对试飞流程的形式化建模与性能分析,无法检验流程中的关键环节。为解决上述问题,文中研究了审定试飞3个阶段的实施流程,并利用随机Petri网构建了该流程的仿真模型;通过建立与该模型同构的马尔可夫链,对实施流程进行了性能分析,识别出了流程中耗时较多的关键环节,进而分析了关键环节的实施速率对流程平均运行时间的影响。最后通过一个案例验证了模型与方法的可行性。结果表明,制造符合性检查环节与试飞数据处理环节是流程中耗时较多的关键环节,应将其作为流程优化的重点,同时提升上述两个关键环节的实施速率相比提高单环节速率,成本更低且流程运行效率提升幅度更大。 展开更多
关键词 审定试飞实施流程 随机petri 马尔可夫链 性能分析 关键环节
在线阅读 下载PDF
融合PSO-模糊Petri网的室内燃气泄漏风险研究 被引量:1
13
作者 张新琪 陈国明 +3 位作者 黄佳伟 王朝阳 刘康 乔千哲 《安全与环境学报》 CAS CSCD 北大核心 2024年第2期440-449,共10页
近年来室内燃气事故多发,而燃气用户风险意识淡薄、户内安全检查难度大。针对现行室内燃气安全管理技术多为静态主观评估的局限性,构建了基于模糊Petri网(Fuzzy Petri Net,FPN)的风险计算规则,提出了结合粒子群优化算法(Particles Swarm... 近年来室内燃气事故多发,而燃气用户风险意识淡薄、户内安全检查难度大。针对现行室内燃气安全管理技术多为静态主观评估的局限性,构建了基于模糊Petri网(Fuzzy Petri Net,FPN)的风险计算规则,提出了结合粒子群优化算法(Particles Swarm Optimization,PSO)和FPN的室内燃气泄漏动态风险评估模型。首先,应用Petri网的直观图像描述和异步并发处理能力建立室内燃气泄漏事故风险演化的拓扑结构模型,借助FPN的模糊推理能力处理风险传播的不确定性;然后,根据燃气运维数据,融合PSO动态更新初始参数,提高风险评估的准确性。结果表明,基于PSO-FPN的室内风险评估方法可弱化燃气公司安检人员分析的主观不确定性,更为准确地量化风险因子演化过程,实现室内燃气泄漏风险的动态分析,有效支持户内燃气泄漏风险管控。 展开更多
关键词 安全工程 室内燃气 风险评估 模糊petri网(FPN) 粒子群优化算法(PSO)
在线阅读 下载PDF
一种面向对象Petri网模型的语义和行为分析 被引量:8
14
作者 杨武 李晓渝 曹泽瀚 《计算机科学》 CSCD 北大核心 2005年第10期219-221,共3页
面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念。本文介绍了一种面向对象Petri网模型(Object-OrientedPetriNet,OOPN),给出了OOP的基本定义和图形表示,... 面向对象Petri网根据面向对象思想的特点,对基本Petri网进行了扩展,引入了门、位置类型函数、多态迁移、聚集迁移以及禁止弧等概念。本文介绍了一种面向对象Petri网模型(Object-OrientedPetriNet,OOPN),给出了OOP的基本定义和图形表示,并对OOPN进行了语义与行为分析。OOPN能够成为面向对象系统的一种形式化的建模工具。 展开更多
关键词 petri 面向对象 建模 petri网模型 面向对象思想 行为分析 语义 面向对象petri 面向对象系统 OOPN 图形表示 基本定义
在线阅读 下载PDF
基于Petri网和Banker’s algorithm的数字孪生车间死锁判断方法 被引量:1
15
作者 杨逸风 陈亚洲 +2 位作者 陈一明 林晓川 王鸿星 《图学学报》 CSCD 北大核心 2024年第3期585-593,共9页
车间生产流程中资源分配或工序安排不合理会使生产流程出现死锁现象,导致无法继续生产,大大降低车间生产效率。为解决上述问题,综合Petri网和Banker’s algorithm理论将车间死锁的形成条件分为互斥等待、占有等待、循环等待和不可剥夺4... 车间生产流程中资源分配或工序安排不合理会使生产流程出现死锁现象,导致无法继续生产,大大降低车间生产效率。为解决上述问题,综合Petri网和Banker’s algorithm理论将车间死锁的形成条件分为互斥等待、占有等待、循环等待和不可剥夺4种,并以这4种条件为基础,将死锁分为资源分配死锁、进程顺序死锁、协作对象死锁和动态资源死锁的4种不同表现形式。基于Banker’s algorithm判断死锁存在、基于改进时间可达性分析法确定车间死锁发生的具体位置,建立不同死锁表现形式下的死锁恢复策略,采用Tina和Unity 3D等软件将该方法集成到车间数字孪生系统中,实现车间流程死锁监测和预测功能。最后以某精密冲压车间零件生产过程为例进行了验证,结果表明该方法能有效实现生产流程实时监控和高效预测。 展开更多
关键词 生产车间 petri 银行家算法 死锁 监控 死锁恢复
在线阅读 下载PDF
一种新型Petri Net:双层变迁定时Petri Net 被引量:8
16
作者 罗怡桂 顾君忠 《计算机工程》 CAS CSCD 北大核心 2002年第8期45-47,共3页
嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petr... 嵌入式系统的设计尤其是复杂嵌入式系统的设计,需要对系统的稳定性、可靠性等进行分析,进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析。该文在深入分析现有的基础上,构建了一种适合于嵌入式系统建模的新型。Petri NetPetri 展开更多
关键词 嵌入式系统 VHDL 建模 petri petri NET 双层变迁定时petri NET
在线阅读 下载PDF
基于petri网的森林火灾应急救援流程网络模型及时效研究 被引量:1
17
作者 徐毓蔓 张以晨 +1 位作者 张继权 丁立全 《灾害学》 CSCD 北大核心 2024年第2期42-47,共6页
为了对森林火灾的应急救援流程进行优化,以提升应急救援效率,依据森林火灾应急救援预案、有关规定与实际救援案例,从信息传递的角度对森林火灾应急救援流程进行了直观描述。基于petri网相关理论,运用PIPEv5.2.0,构建了森林火灾应急救援... 为了对森林火灾的应急救援流程进行优化,以提升应急救援效率,依据森林火灾应急救援预案、有关规定与实际救援案例,从信息传递的角度对森林火灾应急救援流程进行了直观描述。基于petri网相关理论,运用PIPEv5.2.0,构建了森林火灾应急救援随机petri网模型与其同构马尔可夫链,在模型有界、活性、安全且可达的基础上,通过确定模型的库所繁忙率、变迁利用率、平均延迟时间,得到如下结果:①森林火灾应急救援活动早期的灾情信息多且复杂,随着森林火灾的发展呈现动态变化,火灾发生后如何高效地获取过火面积、火线长度、风向、风力、植被载量以及地形等关键信息是优化的重点。②避免信息堆积,基于火灾规模、强度、形式、火头方向等重要任务信息变量,实现实时快速决策、动态处置,是保证森林火灾应急救援活动的时效性的关键。 展开更多
关键词 森林火灾救援 随机petri网模型 时效分析
在线阅读 下载PDF
改进Petri网下异构跨域用户身份验证方法 被引量:1
18
作者 刘峰 姜久雷 《现代电子技术》 北大核心 2024年第13期82-86,共5页
在异构跨域用户身份验证时,由于用户身份存在属性特征难以捕捉、状态描述误差大等问题,导致验证精准度较低,为有效解决这一问题,文中提出一种基于改进Petri网的用户身份验证算法。利用改进Petri网反映不同局域网中事物间依赖关系,将异... 在异构跨域用户身份验证时,由于用户身份存在属性特征难以捕捉、状态描述误差大等问题,导致验证精准度较低,为有效解决这一问题,文中提出一种基于改进Petri网的用户身份验证算法。利用改进Petri网反映不同局域网中事物间依赖关系,将异构跨域用户活动模型与Petri网模型转换,采用同步用户的状态变化提取实时状态特征值。通过建立云间身份认证中心,计算用户不同身份代表性词语在一定周期内出现的次数和频率值。提取频率最高的词语,并计算该词语在待验证用户全部代表词语库中的权重值,对比权重值与验证熵值,将得到的验证参数输入到认证中心,输出验证结果。实验结果表明,所提方法在先验节点比例为8%时,验证准确率达到0.9,且召回率和综合指标均在0.6以上,具备一定的抗攻击性,整体实用性能强、利用价值高。 展开更多
关键词 改进petri 异构跨域用户 身份验证 云间身份认证中心 验证熵值 状态特征
在线阅读 下载PDF
可重写Petri网:位置可重写及性质分析 被引量:3
19
作者 庞善臣 林闯 《计算机学报》 EI CSCD 北大核心 2012年第10期2182-2193,共12页
针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明... 针对Petri网对动态系统重构形式化描述和建模能力的不足,提出了可重写Petri网和位置可重写Petri网的基本概念.分析了位置可重写Petri网保持有界性、保守性、可重复性及活性等性质.给出了位置可重写Petri网保持活性的一个充要条件.证明了共享合成Petri网是位置可重写Petri网的一个实例,建立了退化的位置可重写Petri网模拟共享合成Petri网的算法.所得结果能够为动态重构系统的Petri网形式化建模提供理论方法,为大规模动态分布式系统的形式化验证提供有效途径. 展开更多
关键词 可重写petri 位置可重写petri 共享合成petri 活性 模拟
在线阅读 下载PDF
对象化模糊Petri网的任务协同分配建模与推理 被引量:2
20
作者 安毅生 李人厚 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2006年第5期709-714,共6页
为解决FPNFCPN建模与推理过程中存在模型规模急剧增大、模糊变量颜色化的作用有限、无法表示知识分类等问题,提出了一种改进的对象化模糊Petri网(FPN)建模及模糊推理算法.该算法采用面向对象技术化简规模庞大的模糊赋色Petri网(FCPN),... 为解决FPNFCPN建模与推理过程中存在模型规模急剧增大、模糊变量颜色化的作用有限、无法表示知识分类等问题,提出了一种改进的对象化模糊Petri网(FPN)建模及模糊推理算法.该算法采用面向对象技术化简规模庞大的模糊赋色Petri网(FCPN),经简化的FCPN退化为普通的FPN,但是库所中托肯的语义也发生了变化,它不仅表示模糊语言变量的集合,更重要的是它可作为其他FCPN的引用.最后将该算法应用于协同设计环境中任务分配的模糊推理过程,可有效地降低Petri网模型的复杂程度,且对象化FPN模型直观,易于理解. 展开更多
关键词 模糊推理 模糊petri 对象化模糊petri 模糊赋色petri 任务分配
在线阅读 下载PDF
上一页 1 2 250 下一页 到第
使用帮助 返回顶部