Petri网
Petri网的相关文献在1989年到2023年内共计5101篇,主要集中在自动化技术、计算机技术、机械、仪表工业、电工技术
等领域,其中期刊论文4178篇、会议论文502篇、专利文献115169篇;相关期刊948种,包括计算机工程、计算机工程与设计、计算机工程与应用等;
相关会议297种,包括第十五届全国Petri 网理论与应用学术会议、第十四届全国Petri 网理论与应用学术年会、第二届中国业务过程管理大会等;Petri网的相关文献由8048位作者贡献,包括吴哲辉、蒋昌俊、方贤文等。
Petri网—发文量
专利文献>
论文:115169篇
占比:96.10%
总计:119849篇
Petri网
-研究学者
- 吴哲辉
- 蒋昌俊
- 方贤文
- 王丽丽
- 刘祥伟
- 杜玉越
- 罗继亮
- 方欢
- 曾庆田
- 林闯
- 乐晓波
- 李志武
- 赵不贿
- 李彤
- 宋文
- 李孝忠
- 代飞
- 姚淑珍
- 罗军舟
- 岳昊
- 鲁法明
- 夏传良
- 刘伟
- 吴维敏
- 王志坚
- 马炳先
- 万军
- 郝克刚
- 叶新铭
- 李人厚
- 范玉顺
- 伍乃骐
- 叶剑虹
- 张继军
- 郭峰
- 陆维明
- 于永利
- 罗雪山
- 范昊
- 袁崇义
- 古天龙
- 曲长征
- 李俊
- 王寿光
- 王明哲
- 吴智铭
- 张柳
- 胡核算
- 莫启
- 董利达
-
-
肖丰;
张彼德;
孙文成;
王涛
-
-
摘要:
对故障元件进行快速、准确地诊断,是实现电网在线调控运行的重要前提之一。基于Petri网的电网故障诊断方法因其建模清晰、逻辑缜密,得到了研究人员的广泛关注。但目前的方法大多针对开关量分析,对电气量的关注度相对较少,而电气量在准确性、容错性等方面比开关量都更具优势。基于此,提出了一种计及电气量和开关量的电网Petri网故障诊断方法。首先利用希尔伯特—黄变换对元件的故障电流进行特征提取,通过模糊逻辑分析和模糊逻辑Petri网推理得到元件的故障概率表征;其次针对开关量进行分析,建立元件的Petri网模型,对故障时序信息进行约束检查和挖掘分析,经模糊推理计算得到故障概率表征。最后利用D-S证据理论对故障概率表征进行决策层融合,得到元件最终的故障概率。通过对新英格兰10机39节点系统的多组故障案例进行诊断测试,结果表明该方法能快速诊断故障元件,改善了基于单一故障源和单一诊断方法的局限性,能有效提高故障诊断的准确性和容错性。
-
-
许涛
-
-
摘要:
为了让新生报到更加高效和便捷,基于Petri网的相关理论,提出了基于Petri网的新生报到流程模型优化分析。通过库所与变迁之间的交互关系,分析各流程节点间的行为,参考新生报到时的具体情况和学校的相关要求,让学校投入的大量的人力和物力能够最大限度发挥作用,优化新手入学报到流程,提高新生报到的效率,提升学生报到的体验。最后通过WoPeD仿真验证了优化后的模型具有良好的性质。
-
-
张彤
-
-
摘要:
为提高体检的效率和质量,对医院体检流程进行建模优化非常重要。文中建立了一种基于Petri网的体检流程建模优化模型。给出体检基本流程的Petri网原模型,探讨了该流程模型中存在的问题,然后结合互联网智慧医疗对原模型进行了建模优化分析,增加了体检智能导检和排队叫号系统,从体检效率、体检秩序和审查环节等方面对原模型进行了优化。最后,通过WoPeD软件分析说明优化模型的合理有效性。
-
-
钱胜;
王琦;
颜云松;
封科;
夏海峰
-
-
摘要:
安全稳定控制系统(稳控系统)是保证电网可靠运行的重要防线,针对稳控系统的网络攻击会造成严重的物理后果。为了量化评估稳控系统遭受网络攻击的影响,解决现有风险评估方法未充分考虑网络攻击易发性的问题,文中提出一种计及网络攻击影响的稳控系统风险评估方法。文中首先分析了稳控系统的层次结构;然后,从攻击对象、攻击方式、攻击后果3个角度分析了稳控装置本体与稳控装置站间通信的网络攻击风险点;其次,基于模糊层次分析法对网络攻击易发性进行量化,并结合由Petri网建立的网络攻击防护单元模型建立针对稳控系统的网络攻击成功概率模型;最后,结合物理后果和攻击成功概率,对标准系统和实际系统进行风险评估,计算了正常运行和网络攻击2种情况下的风险值,验证了所提模型的有效性。
-
-
吴小敏;
陶小燕
-
-
摘要:
针对退费系统业务流程不同粒度的流程模型,提出基于行为轮廓的抽象方法,在不同抽象级别上缩减描述同一业务流程的模型数量.通过流程模型的输入,活动聚类,构建活动行为轮廓,导出粗粒度的高级模型及其对应的工作流,提出一个新的退费业务流程模型并验证粗粒度模型的泛化性,解决建模者对于模型的成本维护,减少在细粒度抽象级别上捕获类似业务流程的模型数量问题.
-
-
谷雨轩;
徐常凯;
倪彬
-
-
摘要:
针对目前阻力伞保障流程中存在的问题,利用ASME法分析保障流程现状得到阻力伞保障业务优化需求进而确定优化内容,并优化设计阻力伞保障流程。通过Petri网进行对优化前后的阻力伞保障流程建模,采用马尔可夫链方法定量分析对优化效果进行评价,基于射频技术的阻力伞保障流程改进效果良好,对阻力伞保障有实际指导意义。
-
-
董钰颖;
杨雷恒
-
-
摘要:
针对当前医院中存在物品配送任务繁重、部分配送任务存在时间窗约束的问题,对多医用配送机器人系统协同路径规划方法进行了研究,并基于Petri网模型提出了一种带时间窗的整数线性规划模型。通过仿真验证,结果表明所提出的方法能够有效地计算出满足实际任务需求的最优的机器人路径轨迹。
-
-
林贤;
赵尊荣;
裴鸿斐;
陈梓豪
-
-
摘要:
针对汛期三峡河段通航流量突变对既定船舶过坝计划组织干扰问题,本文运用Petri网理论对流量突变下的交通组织架构进行了描述和分析,构建了基于流量突变下的动态交通组织架构,提出贯穿流量突变“事前-事中-事后”的交通组织应急响应模式,在此基础上梳理出配套组织流程,以提高应对可操作性和响应速率。
-
-
赵厚群;
孙霞;
朱上运;
彭海瑞
-
-
摘要:
变电站设备的火灾应急流程建模在设备运行应急管理分析中具有重要作用。Petri网可以图形化地描述复杂系统,基于Petri网的理论基础,对变电站设备的火灾应急流程进行建模和优化分析。首先,通过Petri网描述了变电站设备的火灾应急流程模型,分析了传统火灾应急流程存在的问题。然后,通过增添相关的活动变迁和库所结构,构建行为轮廓,适度调整了火灾应急流程模型,从而有效优化火灾应急流程。最后,用PIPE软件对优化模型进行了实验仿真模拟,证明该优化方法的有效性和合理性。
-
-
郝真鸣;
李承旺;
张超岩;
冉宁
-
-
摘要:
离散事件系统满足可诊断性是设计故障诊断算法的前提,因此研究可诊断性验证方法具有重要意义.故障发生后无死锁是研究可诊断性问题常见的假设之一,限制了可诊断性验证方法的应用范围.本文在去掉故障发生后无死锁假设的基础上,首先提出了标签可达图的概念和构建算法,其次提出了一种新的可诊断性验证算法来验证有界Petri网是否满足可诊断性.最后通过例子详细说明可诊断性验证算法的计算过程.
-
-
SUN Qi-peng;
孙启鹏;
GUO Xin;
郭鑫;
MA Fai;
马飞
- 《第一届中国交通建模与仿真学术研讨会》
| 2016年
-
摘要:
本文在对城际旅客出行链分析的基础上,对城际旅客出行服务流程进行研究,采用Petri网语言进行数学表示,利用Petri网仿真平台Visual Object Net++,构建和仿真了城际旅客出行服务流程Petri网模型,并将仿真结果结合Petri网理论验证了所建Petri网模型的可靠性,同时运用Petri网理论,将模型转化为与马尔可夫链同构的过程,利用马尔可夫链理论对模型进行分析.本文就城际旅客出行服务流程中的市内交通地铁出行子环节进行了详细的分析,通过建模与仿真确定了市内地铁出行子网的平均服务时间为18分钟,同时定量的分析出了此流程中需重点改进的环节,以便进一步优化城际旅客出行服务流程.
-
-
-
-
-
-
-
-
-