Petri网
- 多模式融合的武器目标分配系统模型设计
建并分析Petri网模型的可达图， 通过仿真实验平台， 构建复杂作战场景， 验证了分配策略机制的可行性。 结果表明三种策略各具优势， 本文设计的多策略结合在匹配时间、 成功率以及效用值方面相较传统的单一策略具有较大优势。关键词： 目标分配; 美国国防部体系架构框架; Petri网; 他分配; 自分配; 指挥控制; 模型设计中图分类号： TJ760文献标识码： A文章编号： 1673-5048（2024）01-0045-1
航空兵器 2024年1期2024-04-18
- 基于Petri网工作流模型展开树的路径序列相似性算法
出了基于Petri网的工作流模型展开树的路径序列相似性算法。首先采用深度优先搜索算法和动态规划算法对模型进行搜索；其次通过提出的算法获取展开树的所有路径序列；最后利用编辑距离算法计算两个模型序列之间的两两相似度，进而完成模型相似性计算；相较于其他的主流相似度算法，主要优点在于可以精确计算得到模型部分结构和行为相似度，可以更好地确定流程间映射，从而找到数据映射的解决方法。实验结果表明，该方法较主流的基于模型结构和行为相似性的算法，计算合理性和准确性有很大提升
计算机应用研究 2024年1期2024-02-18
- 基于GMEC转换算法的Petri网结构控制器综合方法
可控变迁Petri网系统禁止状态控制器设计问题，提出了一种基于矩阵变换和整数线性规划的结构控制器综合方法。该方法的关键是对代表系统合法状态的广义互斥约束（generalized mutual exclusion constraint，GMEC）进行转换。首先，根据Petri网系统的关联矩阵，将库所集分为无关库所集、不可控库所集和补足库所集。其次，通过对非允许GMEC中补足库所的权值和不可控库所的权值进行处理，并运用整数线性规划将非允许GMEC转换为允许GM
计算机应用研究 2023年10期2023-10-17
- 基于Petri网的区块链物流派送模型建构
建构基于Petri网的区块链物流派送模型.PM4PY编程和Petri网仿真软件验证结果表明，优化后的模型具有安全性和有界性.关键词：Petri网；流程模型；区块链；物流派送[ 中图分类号 ]TP391.9 [ 文献标志码 ] AConstruction of a Blockchain Logistics Delivery Model Basedon Petri NetWU Ping，WANG Lili（School of Mathem
牡丹江师范学院学报（自然科学版） 2023年3期2023-08-09
- 基于Petri网的车站预叠加发码建模与仿真
建模工具Petri网对站内预叠加电码化进行建模与仿真，仿真模拟列车在站内走行过程中预叠加发码过程，实现对电码化安全性的提升。关键词：电码化；Petri网；预叠加发码；故障—安全原则中图分类号：U273.4；TP391.9 文献标识码：A 文章编号：2096-4706（2023）01-0084-03Modeling and Simulation of Station Pre-stacking Sending Code Based on Petri Net
现代信息科技 2023年1期2023-06-21
- 基于Petri网的业务财务一体化流程协同优化研究
键词】 Petri网； 业务财务一体化； 流程建模； 流程优化【中图分类号】 F275；TP301 【文献标识码】 A 【文章编号】 1004-5937（2023）07-0153-09一、引言近十年，随着移动互联网、云计算、大数据、人工智能、机器人流程自动化（RPA）、区块链等新一代信息技术的发展，在财政部、国资委等有关部门发布的《关于中央企业加快建设世界一流财务管理体系的指导意见》《关于加快推进国有企业数字化转型工作的通知》等文件的指导下，数字经济加
会计之友 2023年7期2023-04-07
- 基于行为轮廓的退费系统业务流程模型抽象
为轮廓;Petri网;活动聚类[中图分类号]TP301 [文献标志码]A 业务流程设计和分析是定义业务运营管理方式的关键，从低级服务协调到高级决策支持，实现预期目的所利用的BP技术，通过结构化的方式去记录、管理以及沟通业务流程，改善企业的协作和效率.一项业务根据不同需求会生成上千个不同粒度的业务流程模型，这对于维护来说工作量巨大.目前，国内外对此已有一定的研究.Dijkman[1]等提出了一种从BPMN到形式化语言Petri网的映射方法，用于BPMN模
牡丹江师范学院学报（自然科学版） 2022年2期2022-05-27
- 基于Petri网的体检流程建模优化分析
一种基于Petri网的体检流程建模优化模型。给出体检基本流程的Petri网原模型，探讨了该流程模型中存在的问题，然后结合互联网智慧医疗对原模型进行了建模优化分析，增加了体检智能导检和排队叫号系统，从体检效率、体检秩序和审查环节等方面对原模型进行了优化。最后，通过WoPeD软件分析说明优化模型的合理有效性。 关键词：Petri网;体检;优化;建模中图分类号：TP391.9 文献标识码：A 文章编号：1673-260X（2022）02-0009-040 引
赤峰学院学报·自然科学版 2022年2期2022-03-16
- 基于Petri网的新生报到流程建模优化分析
捷，基于Petri网的相关理论，提出了基于Petri网的新生报到流程模型优化分析。通过库所与变迁之间的交互关系，分析各流程节点间的行为，参考新生报到时的具体情况和学校的相关要求，让学校投入的大量的人力和物力能够最大限度发挥作用，优化新手入学报到流程，提高新生报到的效率，提升学生报到的体验。最后通过WoPeD仿真验证了优化后的模型具有良好的性質。 关键词：Petri网;建模;优化;新生报到中图分类号：TP391.9 文献标识码：A 文章编号：1673-2
赤峰学院学报·自然科学版 2022年2期2022-03-16
- 车间火灾应急响应模拟与逃生优化
文提出将Petri网建模和统计思想结合形成火灾逃生的模型，对应急响应流程进行绘制与分析，模拟响应的全过程时间。关键词：制丝车间;Petri网;统计;火灾;应急响应在应急系统的管理过程中对此歧义特性的不当考虑将不可避免地影响应急系统的安全性和有效性。田峰等[2]讨论了在Petri网序列，并行性，选择和循环结构下的模糊时间推断规则，并实现了协同设计的时间验证。Ye等[3]采用模糊Petri网分析多列火车运行及其冲突时间。它们全部依靠模糊算法进行计划分析，这可能
学习与科普 2021年28期2021-11-14
- 基于序列模式的业务流程模型的预测对
关键词：Petri网;对齐;预测;序列模式;条件概率中图分类号：TP391.9 文献标识码：A 文章编号：1673-260X（2021）07-0013-040 引言随着信息技术的快速发展，业务流程管理在企业或组织间扮演着越来越重要的角色。然而，真实的业务场景与流程模型间会存在行为不一致，我们经常使用对齐来描述这种差异。目前，国内外很多学者研究了对齐问题。例如，Bloemen V等[1]提出了不同于标准成本函数的新的成本函数，设计了优先考虑最大化同步移动
赤峰学院学报·自然科学版 2021年7期2021-09-13
- 基于Petri网的财务流程RPA优化研究
优化; Petri网; 财务共享服务中心; 马尔科夫链技术【中图分类号】 F232 【文獻标识码】 A 【文章编号】 1004-5937（2021）16-0131-06一、引言外部经济社会环境的变化和企业业务的不断扩张，使得企业的财务管理模式和财务系统需要不断调整与优化，以满足企业发展所提出的各种新需求。2017年德勤会计师事务所推出了财务机器人及流程自动化解决方案，机器人流程自动化（RPA）相关技术应用在我国财务业务操作领域，帮助企业进行财务管理优化
会计之友 2021年16期2021-08-09
- 基于Petri网行为轮廓的超市自助结账系统优化分析
关键词：Petri网;行为轮廓;自助结账;优化;HIPS中图分类号：TP391.9 文献标识码：A 文章编号：1673-260X（2021）02-0010-030 引言新型冠状病毒的爆发已经给人们的日常生活方式带来了很大的影响，随着疫情下人们对无接触支付模式的深入了解，无接触的超市自助结账模式也得到了广大消费者的接受，自助收银机成为人们在超市购物付款时的新选择。为了提高系统的工作效率，现对自助结账系统进行建模优化，利用Petri网的相关性质[1]和行为
赤峰学院学报·自然科学版 2021年2期2021-07-06
- 关于智能电网故障快速诊断方案的探究
;诊断;Petri网（PN）1.PN基础理论PN是一种表示描述流程的数学模型，可指定状态演化方程以及控制系统行为的代数关系，根据每个事件发生后流程的新状态对流程演化进行建模。通过考虑模型系统的状态演化（令牌在库所上的变化）来分析系统的动态行为，需要记住每个库所可能持有非负数量的令牌，由小实心点表示。在任何给定的时刻中，令牌在库所上的分布称为PN标记，并定义系统的当前状态。由上述可得，变迁s2的触发可指示事件的发生（如断路器跳闸），使系统变迁到另一状态（如断
电子乐园·上旬刊 2021年1期2021-05-19
- Petri网的建模与分析
摘 要：Petri网具有一种系统的数学建模能力，广泛地应用于具有同步、并发、冲突的离散事件系统的建模，可以用来描述较为复杂的业务过程。随着业务过程管理的复杂程度不断增加，使得业务过程建模的难度也逐渐提高，是当前业务过程建模中需要解决的主要问题。首先，文章介绍了Petri网的基本概念及其形式化描述，其次描述了在业务过程建模中常用的4种工作流模型的基本结构并结合Petri网构成了工作流Petri网的基本模型，以此完成对业务过程的建模。最后，运用Petri网对索
无线互联科技 2021年23期2021-01-08
- 基于Petri网的二手网购中卖家信用评定建模及优化
本文采用Petri网对传统的评定流程进行建模，通过分析模型以发现目前的信用评定系统中存在的问题，在流程模型中增加了信用评价，并且突出了商品评价中追评的重要性，优化了目前的信用评价系统，有效地解决了目前信用评定系统中存在的问题，最后通过仿真实验验证了优化模型的可行性和合理性。 关键词：Petri网;二手网购;卖家信用评定;流程模型;优化中图分类号：F713.36;TP311 文献标识码：A 文章编号：1673-260X（2021）12-0073-061
赤峰学院学报·自然科学版 2021年12期2021-01-07
- 基于Petri网的拼单购物流程模型优化分析
要：通过Petri网进行形式化建模，优化网上拼单购物业务流程模型.分析拼单购物的实际情况，给出业务流程Petri网模型，查找流程存在缺陷.根据行为轮廓理论增加相应的结构变迁与库所，优化购物环节，使顾客拼单购物更加方便、省时.关键词：Petri网;行为轮廓;网络拼单购物[中图分类号]TP391.9 [文献标志码]AAbstract：Through the formal modeling of Petri net，the business process
牡丹江师范学院学报（自然科学版） 2020年4期2020-12-14
- 一种基于Petri网和因果关系矩阵的事件日志过程挖掘方法
一种基于Petri网和因果关系矩阵的事件日志过程挖掘方法.基于Petri网和因果关系矩阵的事件日志过程挖掘算法，利用因果关系矩阵进行过程挖掘，其过程模型可以更好地匹配系统产生的事件日志集.关键词：Petri网;因果关系矩阵;事件日志;过程挖掘[中图分类号]TP391.9 [文献标志码]AAbstract：An event log process mining method based on Petri net and causality matrix
牡丹江师范学院学报（自然科学版） 2020年4期2020-12-14
- 基于Petri网与FlexSim模型的自动化立体仓库仿真优化
基于静态Petri网模型与动态FlexSim模型结合的优化方案。对企业现有的自动化立体仓库资源配置情况进行调研，采用层次Petri网建立静态的模型，根据一定的映射原则建立动态的FlexSim仿真模型，根据仿真结果改进相关配置参数，再次利用FlexSim仿真优化模型，验证优化模型的可行性，使作业设备压力减小，利用率大大提高。关键词：FlexSim;Petri网;资源配置中图分类号：TP273;TP391.9 文献标识码：A 文章编号：2096-470
现代信息科技 2020年21期2020-07-09
- 建模思想在《Petri网理论与应用》教学中的渗透
阐述了《Petri网理论与应用》的教学目的和性质，指出了传统教学方法及手段的弊端，说明了在课堂教学中引入建模思想的必要性和重要性。将建模思想贯穿于课程教学过程中，是提高学生的知识综合运用能力、培养学生发现问题-分析问题-解决问题的能力的必然举措。通过实例详細讲解了建模思想在实际问题的求解中的应用，通过建模思想的渗透有效地改善了教学效果，提高了学生实践能力。关键词：Petri网; 建模思想; 教学研究;实际应用中图分类号： G642 文献标识码：
电脑知识与技术 2020年35期2020-06-07
- 基于扩展Petri网的软件服务模型设计方法
基于扩展Petri网的软件服务模型设计方法。首先，该方法将注册的软件服务转换成Horn子句，并将用户需求转换为Horn子句的事实和目标，接着通过逻辑推理来构建完整的软件服务流程，将得出的Horn子句映射至扩展Petri网上，构建出满足用户需求的抽象服务集，最后通过案例验证了该方法的可行性。关键词：软件服务模型;Petri网;Horn子句;抽象服务集中图分类号：TP18 文献标志码：A 文章编号：2095-2945（2020）
科技创新与应用 2020年5期2020-03-02
- 基于Petri网的建筑安全生产韧性管理风险评估研究
出了基于Petri网的安全生产韧性管理理念下的相关风险建模评估方法，探讨了目前在安全生产韧性管理研究中存在的一些问题，如何建立全面有效的安全生产韧性管理风险评估体系还需要深入的思考和研究，需要进一步的研究相关理论。Abstract： Construction industry has developed rapidly in recent years， but the safe production management did not keep up w
价值工程 2019年35期2019-12-24
- Petri网智能变电站保护控制故障诊断与定位方法研究
进行基于Petri网模型的保护与操作控制故障诊断与故障位置推理，其诊断与定位结果能够反映设备逻辑功能的缺陷。实例证明该方法在智能变电站保护与操作控制过程中的故障诊断与定位起到良好的效果。关键词：智能变电站;Petri网;功能关联关系;故障定位中图分类号：TM63 文献标志码：A 文章编号：1674-5124（2019）10-0128-07收稿日期：2018-12-01;收到修改稿日期：2019-01-28基金项目：四川省科技计划支撑项目（521999130
中国测试 2019年10期2019-11-16
- 面向工业培训应用的虚拟现实装配系统研究
算法结合Petri网对模具的装配序列和装配实现方法进行了研究，描述了基于HTC Vive虚拟现实头盔和Unity3d，3ds MAX等软件开发的虚拟现实模具装配系统。最后，通过装配系统训练模块对面向工业培训中的虚拟现实交互训练功能的研究和实现进行详细的描述，结果表明虚拟现实装配系统的研究对工业培训指导有着很大的意义。关键词： 虚拟现实; 装配系统; 交互技术; 工业培训; OBB碰撞检测; Petri网中图分类号： TN911?34; TP391
现代电子技术 2019年20期2019-11-12
- 基于Petri网的电磁循迹小车控制程序建模
，采用了Petri网对电磁循迹小车的控制程序进行建模，并利用可达图对模型进行了特性分析。结果表明，利用Petri网对控制程序进行建模可以保证控制程序的控制逻辑设计正确，提升电磁循迹小车设计的可靠性。关键词：电磁循迹小车;程序设计;Petri网;程序建模;物联网技术;电磁感应技术中图分类号：TP311.1文献标识码：A文章编号：2095-1302（2019）09-00-020 引 言随着物联网技术与工业、物流等领域的深度融合，智能的小车可以实现自动地按照指定
物联网技术 2019年9期2019-11-06
- 一种增量挖掘优化流程模型方法
（流程Petri网）一个流程模型Petri网PM=（P，T，F，C，s，e）是一个六元组，满足以下条件： 其中，k为给定日志中的不同轨迹数，n为日志轨迹中所含的数目，x表示日志轨迹重放时就绪变迁的平均数目，m表示模型中可见任务的数.3 一种增量挖掘优化模型分析方法 本节主要介绍增量挖掘更新流程模型，它是启发式挖掘的扩展.首先，给出启发式挖掘相关定义;然后，给出增量挖掘优化模型算法，它是利用现有挖掘方法挖掘出初始模型，频数低的日志建立依赖关系树，本文的依赖
赤峰学院学报·自然科学版 2019年10期2019-09-10
- 基于服务簇头的Web服务发现策略研究
务簇头;Petri网;服务发现;服务聚类1 引言：随着信息技术的不断发展，数字化信息技术应用不断深化。Web服务是基于网络的应用程序接口，能够实现远端软件程序的本地化调用。如信息查询服务，网络付费服务、事务预定服务等。Web服务基于XML（Extensible Markup Language）协议进行定义，利用SOAP（Simple Object Access Protocol）协议进行信息传输。实现了跨平台的、非本地化的软件程序网络应用。利用Web服务可
新教育论坛 2019年5期2019-09-10
- Petri网在网络选座系统的建模优化分析
首先利用Petri网描述了网络选座系统模型，然后添加相关的活动变迁和库所，根据提出的网络购票公式，判断每个隔间所剩硬卧的个数，当剩余硬卧的个数大于等于2时，系统自动分配当前隔间两张硬卧给乘客;当剩余硬卧的个数小于2时，则自动分配下一间的两张硬卧给乘客，从而达到同行人能够购买同一隔间硬卧的目的.最后，通过示例分析，说明了网络选座模型的有效性和实用性. 关键词：Petri网;行为轮廓;优化;建模中图分类号：TP391.9 文献标识码：A 文章编号：1673
赤峰学院学报·自然科学版 2019年1期2019-09-10
- 基于petri网的急诊流程模型优化分析
摘要：Petri网可以图形化复杂系统行为，本研究基于Petri网的基础理论，对急诊流程模型进行优化，以达到紧急状态下快速收治病人的目的.首先给出急诊流程的Petri网模型，通过实际急诊过程中出现的问题增加相应的库所变迁结构，利用交叉序关系、排他序关系进行优化，使急诊流程更加高效，验证了流程优化模型的有效性. 关键词：Petri网;急诊流程;优化中图分类号：TP391.9 文献标识码：A 文章编号：1673-260X（2019）04-0063-031
赤峰学院学报·自然科学版 2019年4期2019-09-10
- 基于Petri网的ETC高速收费系统优化分析
出了基于Petri网的ETC高速收费流程模型的优化分析方法.首先结合实际ETC高速收费系统，分析流程模型中活动间的间接关系，找出源流程模型中存在的问题，然后对模型进行优化.最后利用PIPE软件验证其合理性. 关键词：Petri网;行为轮廓;优化;ETC高速收费系统中图分类号：TP391.9 文献标识码：A 文章编号：1673-260X（2019）02-0056-031 引言 随着信息技术的迅速发展及其广阔的应用前景，Petri网建模已经成为分析解决业务
赤峰学院学报·自然科学版 2019年2期2019-09-10
- 针对多并发三角形二度循环结构的过程模型挖掘方法
度循环的Petri网模型。关键词：过程挖掘;并发结构;三角形二度循环;过程模型;Petri网中图分类号： TP311文献标志码：A文章编号：1001-9081（2019）03-0851-07Abstract： To mine the process model including multi-concurrent 2-loops of triangles in incomplete logs， an AlphaMatch algorithm based o
计算机应用 2019年3期2019-07-31
- 试析基于随机Petri网的铁路集装箱运输流程优化研究
基于随机Petri网的铁路集装箱运输方式，希望有关人士可以一起探讨。关键词：铁路集装箱;流程优化;性能分析;Petri网一、Petri网的相关理论以及综述目前，随着我国社会经济的飞速发展，我国与其他国家的货物交流越来越频繁，为了满足新时代发展背景下运输需求，集装箱运输就利用自身快速、安全、高效的特点，提高了运输的速度和运输的安全性，集装箱运输指的是在运输过程中，利用飞机、船只、火车对货物进行运输，由于集装箱是封闭的，在运输过程中，装卸作业小，因此，人力的输
现代营销·经营版 2019年2期2019-06-11
- 基于Petri网建模的道路车流量预测方法研究
在對基于Petri网建模道路进行分析时发现，当利用智能算法优化交通信号时会存在一定滞后性，主要原因在于智能算法运算效率不高，以及道路车辆产生的一些随机因素等。因此，使用Petri网对交叉口进行建模并模拟车流产生，并运用改进卡尔曼滤波算法对道路车流量进行预测，用于弥补因车辆随机因素或使用智能算法造成的时滞。改进算法采用SVM回归对利用卡尔曼滤波产生的误差进行拟合与预测，用于补偿卡尔曼滤波算法产生的误差。实验结果表明，利用SVM回归改进的卡尔曼滤波对车流预测产
软件导刊 2019年4期2019-06-09
- 基于Petri网的无信号交叉口车辆诱导及优化系统研究
利用赋时Petri网建立无信号交叉口控制模型。根据优化算法，得到较优的车辆通行序列，从而实时引导车辆通过交叉口；分析了不同数量车辆对交叉口的延误时间、车辆平均延迟时间的影响，并将其与传统的信号控制方法进行对比。研究结果表明：基于Petri网的无信号交叉口控制方案改善了交叉口通行状况，控制效果优于传统的信号控制方法。关键词：车路协同系统；无信号交叉路口；Petri网DOIDOI：10.11907/rjdk.181026中图分类号：TP303文献标识码：A 文
软件导刊 2018年8期2018-10-29
- 一种基于Petri网的电网故障诊断方法
元件进行Petri网建模，再利用Visual Object Net ++软件进行故障诊断。实验表明，该方法能够通过保护和断路器的状态准确找出故障元件。Abstract： When the power system fails， its corresponding protection and circuit breaker will trip. According to these action information， the fault occurre
价值工程 2018年32期2018-10-23
- 民机试飞签派放行Petri网建模与仿真
最后基于Petri网对试飞签派放行方法进行了建模与仿真，从逻辑上验证了试飞签派放行方法的正确性和有效性，为进一步设计制作试飞签派放行系统奠定了基础。关键词：试飞签派；飞行计划；民机试飞；空域飞行；Petri网中图分类号：V352 文献标志码：A 文章编号：2095-2945（2018）21-0029-03Abstract： Based on the work experience of flight test take-up for domestic AR
科技创新与应用 2018年21期2018-09-14
- 基于petri网的校园一卡通系统优化分析
一种基于Petri网的优化分析方法，根据支付的实际情况，在确保付款方式比例的情况下，通过增加相关控制结构来进行优化.Zuo-Wei F U[2] 等给出加入抑制弧的优化算法，为Petri网的应用提供了一种新的思路.石弯弯[3] 等提出了行为轮廓业务系统优化分析方法，通过增加活动变迁和库所对业务流程进行建模优化.曹蕊[4] 等提出了基于业务流程模型抽象的流程配置优化，实现业务流程的配置优化分析.何路路[5] 等提出基于 Petri网的工作流系统业务模型，通过
牡丹江师范学院学报（自然科学版） 2018年2期2018-09-10
- 基于Petri网的电梯控制系统建模与分析
要：使用Petri网模型工具建立一种电梯单控系统模型，分析电梯运行中的循环和满载开门问题，给出优化设计方案.结果表明，优化方案可以实现，模型有效.关键词：Petri网；电梯控制系统；建模；性质分析[中图分类号]TP399 [文献标志码]AAbstract：Use Petri net modeling tools to create a model of the elevator control system，analysis the circulation
牡丹江师范学院学报（自然科学版） 2018年3期2018-09-10
- 基于Petri网行为轮廓的网上订餐系统变化域分析
要：基于Petri网构建网上订餐系统流程模型.建立源模型与目标模型表示二者的行为轮廓关系，对其变化域进行分析，利用添加配置变迁的方法优化模型.实验表明，优化后的网上订餐系统模型改变了模型的细粒度，与实际更为贴近，更能满足用户的需求.关键词：Petri网；行为轮廓；变化域；网上订餐[中图分类号]TP391.9 [文献标志码]AAbstract：The process model of online ordering system based on Petri
牡丹江师范学院学报（自然科学版） 2018年3期2018-09-10
- 基于Petri网的菜鸟驿站取件流程优化
文章利用Petri网模型这一常见的流程优化技术方法，对菜鸟驿站的整个取件流程建立模型并进行分析，指出了问题所在并提出了相应的对策。[关键词]Petri网；建模；流程优化[DOI]10.13939/j.cnki.zgsc.2018.17.1631 引 言随着现代物流服务的迅速发展，菜鸟驿站作为主要面向校园和社区的物流服务平台，提供着末端物流服务，对于不方便实时取件或需要保护隐私的用户同样有着重要的意义。但是随着电商消费群体越来越庞大，业务量急剧增加，取件慢、
中国市场 2018年17期2018-06-23
- 基于Petri网与GA—PSO算法的FMS优化调度
一种基于Petri网与改进遗传-粒子群算法相结合的优化调度方法。利用Petri网对柔性制造系统进行建模，在分析传统调度算法的基础上提出了一种改进遗传-粒子群混合算法对建立的模型进行调度。通过调度验证表明，该算法能有效地解决多品种、小批量的柔性制造系统仿真时的调度问题。关键词：柔性制造系统；调度；Petri网；遗传算法；粒子群算法中图分类号：TP311 文献标识码：A 文章编号：1009-3044（2018）03-0046-021 概述柔性制造系统（Flex
电脑知识与技术 2018年3期2018-03-21
- 基于Petri网的业务过程建模
论了使用Petri网如何表示业务过程中的开始、结束、任务和路由，并通过一个例子，说明了使用Petri网建模业务过程的直观性和易沟通、理解性。【关键词】业务过程 任务 路由 Petri网1 引言从20世纪70年代末到20世纪90年代初，信息系统的关注焦点是数据的存取，因此，数据库管理系统被认为是最核心的基础平台。自20世纪90年代初开始，信息系统的关注焦点从数据逐步转移到过程上来。作为这种转变的结果，今天以业务过程驱动为代表的大规模编程（Programmin
电子技术与软件工程 2018年6期2018-02-23
- 基于库所系统的增加类型变化传播分析
一种基于Petri网的库所系统，依据单向影响关系，分析添加增加类型变迁的变化传播范围的方法。首先，以某打车软件为例，建立打车软件客户端的库所系统，并插入一个增加类型的变化变迁。其次，利用单向影响关系，衡量库所系统原变迁集与所添加的增加类型变迁之间的影响关系。最后，根据增加类型变化传播影响范围公式，得出基于打车软件的库所系统，添加一个增加类型变化的传播影响范围。关键词：Petri网；库所系统；增加类型；单向影响关系；变化传播中图分类号：TP391.9 文献标
电脑知识与技术 2018年2期2018-02-03
- 基于DMAIC分析过程的A企业仓储出库流程优化研究
行流程的Petri网模型。在此基础上，寻找各子网，根据子网间同步和冲突关系分析流程中的问题，提出解决方案，实现流程的优化。Abstract： Under the DMAIC analysis process， the A Company's warehousing process is taken as the research object， and the current situation is analyzed. The Petri net mod
价值工程 2018年35期2018-01-25
- 基于petri网的计算机软件系统建模
可以使用Petri网来为它们建立模型。在该文中对计算机软件系统中几个典型问题：生产者—消费者问题、哲学家进餐问题、读者—写者问题、PV 操作等的petri网建模进行了分析。关键词：petri网；建模；计算机软件系统中图分类号：TP302 文献标识码：A 文章编号：1009-3044（2017）31-0222-021 概述Petri网作为一个新型的建模工具，已在计算机科学的各个领域得到了应用。除了计算机硬件之外，计算机软件也可以由petri网来建模。这可能是
电脑知识与技术 2017年31期2017-12-11
- 基于Petri网的L企业产品设计变更执行流程优化研究
行流程的Petri网模型。在此基础上，运用关联矩阵重组分析寻找各子网，根据子网间同步和冲突关系分析流程中的问题，提出解决方案，实现流程的优化。关键词：设计变更；Petri网；流程优化；子网；关联矩阵中图分类号：F273 文献标識码：AAbstract： Based on product design change execution process of L enterprise as the research object， analyzed its s
物流科技 2017年10期2017-11-22
- 基于DFA?Petri网模型的桥式起重车辆IWD优化调度
DFA?Petri网模型的OTC系统车辆IWD优化调度算法。首先，对OTC系统车辆的时间?序列模型进行描述，并利用Petri网模型方法来简化优化约束，利用有限自动机（DFA）方法实现OTC系统状态空间二进制输入的降维，降低模型复杂度；其次，构建基于DFA?Petri网的OTC系统车辆优化调度模型，并利用智能水滴算法（IWD）进行调度优化；最后，通过仿真实验，验证了所提模型在调度时间指标上的优势，体现了所提方法的车辆调度实时性。关键词： 桥式起重车辆； 有限
现代电子技术 2017年22期2017-11-18
- 基于Petri网的A企业仓储入库作业流程优化研究
建了基于Petri网的入库作业流程模型，通过关联矩阵和不变量分析验证模型的正确性。然后运用关联矩阵重组分析寻找流程中瓶颈环节，并提出相应的优化措施，发现优化后的入库流程效率有了很大的提高。关键词：制造业；Petri网；仓储入库；流程优化中图分类号：F715.6 文献标识码：AAbstract： Taking A enterprises as an example to study the flow storage warehouse， based on t
物流科技 2017年9期2017-10-31
- 无线网络安全协议Kerberos的Petri网建模
全协议。Petri网作为信息化建模仿真的常用工具，能以图形化、层次化的方式描述系统。在分析Kerberos协议工作原理的基础上，采用Petri网工具CPNTools对Kerberos协议进行建模与仿真，采用图形化方式，直观地表达了该协议特点。关键词：Kerberos协议；无线网络安全协议；Petri网DOI：10.11907/rjdk.172290中图分类号：TP309 文献标识码：A 文章编号：1672-7800（2017）009-0181-04Abst
软件导刊 2017年9期2017-09-29
- 基于Petri网的电子数据取证有效性模型设计
出了基于Petri网的电子数据取证有效性模型。该模型以Petri网模型作为构建基础，将电子数据取证后的数据形式作为Petri网模型中的节点，电子数据证据随后的操作方法以及取证方法可描述为Petri网的变迁过程，提出了概率计算、验证及推理过程方法。通过对概率进行计算，得到证據的概率数据，最终确保了电子数据取证的可信度。最后，作者分析了基于Petri网的电子数据取证有效性模型的具体应用及其法律适用性。关键词：Petri网；电子数据取证；有效性；法律
电脑知识与技术 2017年12期2017-07-29
- 基于层次实时有色Petri网的实时服务描述研究
实时有色Petri网（RTCPN）与层次实时有色Petri网（HRTCPN），然后建立了原子实时服务到RTCPN映射描述模型（AS-RTCPN），对服务组合运算规则进行了详细描述与建模，最后形成了服务组合HRTCPN描述模型的简化算法，并给出了HRTCPN的可达服务图RSG的定义及构建算法，证明了HRTCPN模型的正确性。【关键词】Web服务 Petri网 形式化描述 实时服务 服务描述1 引言面向服务计算是实现跨平台、跨语言和松藕合的最新分布式计算技术，
电子技术与软件工程 2017年10期2017-06-02
- 基于Petri网的机场安检流的分析
N（随机Petri网）模型，通过它和马尔科夫链的同构，我们可以计算出每个库所的平均托肯数。我们把它作为判断瓶颈区域的指标，并给出建议。同时分析了文化差异对于模型带来的影响。关键词： Petri网；GSPN模型；马尔科夫链；平均托肯数Abstract：In the model，We first prove that he number of passengers arriving per unit time subject to Poisson distri
科技风 2017年10期2017-05-30
- Petri网在冷链中断风险分析中的应用研究
失。考虑Petri网可将复杂动态系统抽象表达成网图结构，通过库所和变迁动态展示事件发生的过程，冷链中断风险中成员对中断风险反应将对冷链造成影响，构建petri网冷链上下游中断风险分析模型进行分析，并结合冷链库存在冷链风险分析中的重要性，对核心冷链成员进行库存事件petri网建模，最后通过Extendsim仿真实现中断风险下库存的变化分析。结果：冷链中断风险下petri网建模分析可以很直观地反应上下游冷链成员受提前期和成本等的影响；而冷链中断风险下库存事件p
技术与创新管理 2017年1期2017-05-30
- Petri网研究现状综述
主要介绍Petri网的发展，讨论Petri网的数学理论基础，分析高级Petri网，总结Petri网适用领域，最后指出Petri网的发展趋势。[关键词]Petri网 高级Petri网 Petri网应用[中图分类号] TP311 [文献标识码]A [文章编号]1009-5349（2016）22-0144-02一、发展历程Petri网首先由著名数学家Carl Adam Petri提出，主要用于刻画计算机系统异步通讯。此后，国内外研究学者对其研究发展做出了大量的工
现代交际 2016年22期2017-04-01
- 基于随机函数Petri网的系统动力学关联分析模型
以及随机Petri网（SPN）本身存在计算能力不足等问题，首先，将SPN进行扩展，提出了随机函数Petri网（SFPN）模型；然后，将SFPN与SD相结合，提出了一种SFPN-SD模型。因SFPN模型中的变迁本身能精确描述随机延迟，故解决了SD模型存在的第一个问题；因SFPN模型中的条件弧能表达库所之间的有条件转移，故解决了SD模型存在的第二个问题；最后，在SPN的库所和变迁中定义一些状态变量及其状态转移方程，而状态变量及其状态转移方程就是SD模型中的水平
计算机应用 2016年12期2017-01-13
- 工作流技术在医疗信息整合工程中的应用分析
HIS Petri网中图分类号：TP393.09 文献标识码：A 文章编号：1007-9416（2016）09-0234-01目前在医院，往往存在多种类型的信息系统，例如HIS（指的是：医院信息系统）、RIS（指的是：放射学信息系统），PACS（指的是：影像存储及通信系统），在进行信息交换时，不同系统所使用的信息传输协议和标准存在很大的差异，如HIS和RIS使用的是HL7，PACS使用的是DICOM，这些标准无法有效的兼容，使得这些系统之间的信息交换存在一
数字技术与应用 2016年9期2016-11-09
- 基于Petri网和双层判据的配电网故障定位方法
)基于Petri网和双层判据的配电网故障定位方法高正中，许焕奇，雷倩，李世光，王庆礼(山东科技大学 电气与自动化工程学院， 山东 青岛266590)摘要：为了提高配电网故障定位系统的运算速度和容错性能，提出了一种基于Petri网和双层判据的配电网故障定位方法：依据电流判据和电压判据进行故障诊断，并通过双层判据和概率信息实现冗余信息纠错。首先介绍了结合概率信息的Petri网的结构和定义；然后建立了故障定位的通用Petri网模型；最后对配电网2种标准接线方式
工矿自动化 2016年8期2016-08-13
- 面向软件非功能需求的软件过程建模方法
面建模;Petri网;冲突保证软件质量一直是软件界追求的目标，软件质量与软件非功能需求(non-functional requirements, NFRs)密切相关，非功能需求解决的好坏直接影响软件的成败，因此，非功能需求也常常被称为质量需求.面对不同的非功能需求，工业界和学术界都针对性地提出了不同的软件工程过程，包括：软件可靠性工程过程[1-2]、信息系统安全工程过程[3]、系统防危性工程过程[4-5]、易用性工程过程[6]、Boehm和In[7]针对软
计算机研究与发展 2016年7期2016-08-01
- 语用学视域下Petri网的复杂性特征
的发展，Petri网的语用复杂性研究已逐步展开。Petri网的复杂性主要体现在彰显异步并发事件复杂的相关性，对事务自身状态描述具有复杂性，实现了社会的网络化，彰显了语用主体边界的复杂性，与语用技术融合发展具有复杂性，它本身具有自组织性。以语用网为核心的全球性研究阵营已经形成，如何发展语用技术的功能成为互联网实现下一次技术飞跃的关键问题。〔关键词〕 Petri网，语用性，复杂性，相关性，模糊性，自组织性〔中图分类号〕N031 〔文献标识码〕A 〔文章编号〕1
理论探索 2016年4期2016-07-26