Petri网模型

摘要： 复用已有高质量源代码可提高软件开发效率及软件质量.当前,基于用户提供的输入输出对的匹配判断是代码语义搜索的主要方法之一,但该方法难以刻画完整代码行为,且仅能处理单输入类型.提出一种针对多种形式类型匹配的代码语义搜索方法.首先将代码集内各个代码片段中数据对象个数及类型的加工过程转换为Petri网模型;其次根据用户查询中蕴含的数据类型及个数、输出数据类型等约束来构造Petri网初始标识和目标标识;然后在Petri网中通过可达图及诱发网分析判断是否存在相应的可达路径,从而获得代码匹配依据.分析及实验表明,该方法能有效实现多种形式的输入输出类型匹配的代码搜索,且相对于传统类型匹配方法,能明显提高搜索准确度和效率.

摘要： 矿山开采环境复杂,一旦发生事故,应急救援工作困难大,研究矿山事故应急救援流程有利于科学指导相关人员提高应急处置的效率.文中针对矿山应急管理的数字预案的任务协同问题开展研究.首先,描述省级数字预案体系的典型国有企业应急预案体系及衔接关系;其次,建立典型矿山事故灾难应急救援指挥工作流Petri网模型;再次,利用随机Petri网和随机过程分析技术,获得多个瞬态和稳态的计算结果,建立预测指挥信息调度工作流程的所有救援任务时间模型;最后,以典型瓦斯爆炸案例进行建模,并对模型进行性能分析.研究结果表明,该模型实证结果比较合理,在矿山应急救援方面具有普适性,能够优化应急救援调配,提高救援效率.

摘要： 为了提高煤矿井下机车调度效率和实现井下调度系统自动化,基于Petri网理论知识结合实际井下矿场路况建立机车调度Petri网模型,然后对Petri网模型添加限制库所和变迁使其调度过程无死锁,并通过理论证明了该调度模型是无死锁和冲突的,可以指导机车井下运输调度.然后在机车调度规则下针对不同的井下机车调度相关参数,提出了3种不同情况下的机车最优调度策略,并通过验证实际矿场参数后的分析证明了该调度策略下机车的调度是不触发死锁情况下的最优调度.最后通过仿真实验以及实际应用证明了该调度策略的正确性和完备性,为井下运输的自动调度提供了理论基础.

摘要： 2018年以来,行车智能控制、无人化车间自动发货、尾矿自动发货等“无人化”系统开始应用,但缺乏对行车运行流程的深入分析.对装运过程中关键阶段的划分、分析处于感性认识阶段,基于实际应用的数据分析更是少见.利用Petri网技术对装运过程进行建模,对装运过程的各阶段及其状态变化进行有效的、明确的划分,按理论模型对现场实验数据进行分析,使模糊的装运过程清晰透明,不仅有利于深入了解过程运行情况,同时也为系统的优化提供分析方法与数据支撑.

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

摘要： 针对A公司3C产品逆向物流业务时效性不高、用户满意度较低的问题,文中在对业务流程现状进行分析的基础上,建立业务流程Petri网模型,发现当前业务流程在系统价格评估、取件订单分配、信息反馈三个环节存在问题,并提出相应的优化措施,达到帮助A公司改善逆向物流业务时效性、提高顾客满意度的目的.

摘要： 针对A公司3C产品逆向物流业务时效性不高、用户满意度较低的问题,文中在对业务流程现状进行分析的基础上,建立业务流程Petri网模型,发现当前业务流程在系统价格评估、取件订单分配、信息反馈三个环节存在问题,并提出相应的优化措施,达到帮助A公司改善逆向物流业务时效性、提高顾客满意度的目的。

摘要： 针对水稻质量安全问题,以珲春水稻为研究对象,结合利用物联网技术、RFID技术、条码技术,利用petri网模型设计并实现了水稻质量安全可追溯物联网系统.系统通过采用浏览器/服务器(Browser/Server)模式对水稻的种植信息、农事信息、加工及质量检测信息、物流运输及终端销售各个环节进行实时跟踪与记录,并将各个环节中所产生的数据通过无线局域网、移动通讯网(3G/4G)、互联网等动态传输网络传输至系统服务器,通过分析与整理形成溯源码.消费者通过扫描溯源码,可以方便快捷的查询到所购买大米的相关追溯信息,真正的实现水稻生产、管理、加工、销售一体化.%Taking Hunchun rice as research object,with the combined use of the internet of things technology,RFID technology,bar code technology and Petri net model,the traceability system for quality and safety of rice is designed and achieved.The system tracks and records the information of planting,farming,processing and transporting of rice.At the same time,it transfers these data that are generated in each link to system server by wireless LAN,mobile communication network (3G/4G),Internet and other dynamic transmission networks.Then the data are analyzed and organized to form traceability code on system server.Consumers can query the information on the rice purchased by scanning traceability code expediently.Thus,the system can realize the integration of rice production,management,processing and sales.

摘要： 本文采用基于SPetri网模型的方法形式化分析了无线传感器网络安全协议,指出了其中的中间人攻击缺陷,并对协议进行了改进,对协议的安全性进行了严格的形式化证明.文章表明采用基于S_Petri网模型的方法是安全协议形式化分析和安全性证明的一种简洁有效的方法.

摘要： 为了满足日益复杂的Web服务需求,提出了一种扩展的petri网模型,即着色赋时Petri网模型.该模型通过引入时间集合来表示Web服务的触发及运行时间,通过引入颜色集合来区别不同种类的Web服务,使得对Web服务组合的描述更为准确.针对该模型还详细给出了该组合模型的基本运算规则及图形表示。

摘要： 嵌入式软件与运行时所处的硬件、设备结合紧密、具有实时性、并发性的特点,对安全性、可靠性的要求很高.这就需要一套有效的方法针对嵌入式软件的特点进行严格的测试验证,提高软件的质量.嵌入式软件测试的各个阶段具有不同的原理和特点,需要进行针对其特点的测试.形式化描述技术工具Petri网是一种基于形式化方法的描述和研究被测系统的图形化工具,非常适合分析同步、并行和不确定性高的系统,具备一套严密的数学理论及成熟的验证方法,有利于对被测系统进行验证和分析.通过Petri网在嵌入式软件单元测试中的实际应用,说明了这种测试方法的可行性和有效性.

摘要： 嵌入式软件与运行时所处的硬件、设备结合紧密、具有实时性、并发性的特点,对安全性、可靠性的要求很高.这就需要一套有效的方法针对嵌入式软件的特点进行严格的测试验证,提高软件的质量.嵌入式软件测试的各个阶段具有不同的原理和特点,需要进行针对其特点的测试.形式化描述技术工具Petri网是一种基于形式化方法的描述和研究被测系统的图形化工具,非常适合分析同步、并行和不确定性高的系统,具备一套严密的数学理论及成熟的验证方法,有利于对被测系统进行验证和分析.通过Petri网在嵌入式软件单元测试中的实际应用,说明了这种测试方法的可行性和有效性.

摘要： 嵌入式软件与运行时所处的硬件、设备结合紧密、具有实时性、并发性的特点,对安全性、可靠性的要求很高.这就需要一套有效的方法针对嵌入式软件的特点进行严格的测试验证,提高软件的质量.嵌入式软件测试的各个阶段具有不同的原理和特点,需要进行针对其特点的测试.形式化描述技术工具Petri网是一种基于形式化方法的描述和研究被测系统的图形化工具,非常适合分析同步、并行和不确定性高的系统,具备一套严密的数学理论及成熟的验证方法,有利于对被测系统进行验证和分析.通过Petri网在嵌入式软件单元测试中的实际应用,说明了这种测试方法的可行性和有效性.

摘要： 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能.原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,故本文提出了一种新的激励策略并给出了具体的实施算法.对应用这种新激励机制的BitTorrent协议进行详细的CPN形式化建模分析,在验证模型正确性的基础上,执行基于模型模拟的性能分析实验,结果表明本文所提的激励机制能够严格限制搭便车节点行为,达到了更好的激励效果.

摘要： 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能.原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,故本文提出了一种新的激励策略并给出了具体的实施算法.对应用这种新激励机制的BitTorrent协议进行详细的CPN形式化建模分析,在验证模型正确性的基础上,执行基于模型模拟的性能分析实验,结果表明本文所提的激励机制能够严格限制搭便车节点行为,达到了更好的激励效果.

摘要： 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能.原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,故本文提出了一种新的激励策略并给出了具体的实施算法.对应用这种新激励机制的BitTorrent协议进行详细的CPN形式化建模分析,在验证模型正确性的基础上,执行基于模型模拟的性能分析实验,结果表明本文所提的激励机制能够严格限制搭便车节点行为,达到了更好的激励效果.

摘要： 激励机制是BitTorrent协议的重要组成部分,它鼓励用户上传以获得更快的下载速度,并提高系统整体性能.原有BitTorrent激励机制存在大量的搭便车节点,极大影响了激励效果,故本文提出了一种新的激励策略并给出了具体的实施算法.对应用这种新激励机制的BitTorrent协议进行详细的CPN形式化建模分析,在验证模型正确性的基础上,执行基于模型模拟的性能分析实验,结果表明本文所提的激励机制能够严格限制搭便车节点行为,达到了更好的激励效果.

摘要： 具有多资源需求和柔性加工路径的顺序资源分配系统（Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings简称（C/D）RAS）是一类较复杂的、更为一般的资源分配系统。本文研究（C/D）RAS的Petri网模型标识S 3PGR 2网(N，M 0)，定义其中的循环结构，并指出循环结构反映（C/D）RAS 中资源占用与循环等待的状况，是（C/D）RAS中死锁发生的结构特征。具体做法如下：若(N，M 0)不是活的，则它有一个可达标识M，M是一个“局部死锁”，即在M之下有死锁变迁。在标识修改S 3PGR 2网(N m，M)中，由这个“局部死锁”可达一个“全局死锁”M1，即M1是一个死标识。而标识M1在(N，M 0)中也是可达的。进一步，证明在(N，M 1)中可以找到一个循环结构。

摘要： 本发明提供了一种基于随机Petri网模型的共享单车分析调度方法，采用K‑means和MeanShift算法对某一区域某一天的共享单车数据进行聚类分析，根据得到的各共享单车虚拟站点和各站点之间的调度情况，建立调度前的随机Petri网模型；基于共享单车的自然流动情况，对调度过程中的变量进行设置，建立随机Petri网模型；所述变量包括：调度路径、调度时间和调度数量；利用随机Petri网模型，根据控制变量法调整每条调度路径中的共享单车的调度数量，得到共享单车的最佳调度频率，确定出共享单车的最佳调度策略，使各虚拟站点的共享单车数量稳定在初始状态。本发明的有益效果是：缓解了共享单车停放混乱、分布无序的问题。

摘要： 本发明提供了一种基于逻辑Petri网的循环并发结构的过程模型修正方法，首先，通过添加标识库所集，给出普通/逻辑最优扩展校准，之后，根据连续日志动作在最优扩展校准中是否完整出现，分为静态或动态模型修正。静态模型修正是直接根据连续日志动作的标识库所集与相应变迁前集之间的关系，进行偏差定位，并根据逻辑Petri网进行静态模型修正。动态模型修正相对复杂，根据过程树，提出并发变迁集，通过连续日志动作的标识库所集与相应变迁前集之间的关系，进行偏差定位，并根据逻辑Petri网进行动态模型修正。基于逻辑Petri网动态修正模型简洁度更高，可以更好的描述活动之间的逻辑关系，在保持高拟合度的同时，提高了精确度。

摘要： 本发明提供一种基于面向对象层次时间Petri网的装配工艺模型建立方法，包括以下步骤：根据装配工艺不同的节点建立不同层次的面向对象子网；根据装配工艺信息建立对象模型并建立不同层次的辅助子网代替对应库所；根据装配工艺确定装配过程中信息传递方向，建立每个对象的输入和输出信息库所，在每个对象始末位置插入门变迁，用有向弧分别将输入和输出信息库所与门变迁连接起来以建立装配工艺子网间信息传递网；建立初始标识并把所有库所和时间变迁中的初始标识表示出来，得到装配工艺模型。根据本发明实施例的上述步骤，通过对装配信息不同层次描述使得装配信息和对象全面，模型通用性高，降低建模复杂度，利用遗传算法优化装配时间。

摘要： 本发明公开一种基于Petri网与改进二元决策图模型的最小割集求解方法，包括步骤有根据故障情况建立相应故障树；根据所建立的故障树建立相应的Petri网模型；根据所建立的Petri网模型计算顶层事件的布尔逻辑关系式；根据顶层事件的布尔逻辑关系式转换成改进二元决策图模型；根据改进二元决策图模型可以比较直观的得到最小割集。本发明的有益效果是：能够有效解决求解最小割集存在的组合爆炸和NP问题。

摘要： 本发明提供了一种基于确定性随机Petri网的AADL模型安全性评估方法。首先，构建层次化结构的AADL架构模型；然后，制定新的模型转换方法，将AADL安全性模型转换为DSPN模型，其中，为AADL安全性模型增加了新的语义，包括复合构件中可操作状态分别与失效状态和危险之间的关系，以及恢复事件和修复事件与错误检测之间的关系，新的模型转换方法简化了构件之间错误传播的转换方法和危险行为的转换方法，使安全性模型转换为状态数量更少的DSPN模型，用于计算危险发生的概率；最后，结合危险的严酷度等级计算危险发生的风险，做安全性评估。

摘要： 公开了一种遵循通用网论的Petri网模型与语用语言的解析方法。语用计算机的解析器实现语用语言与Petri网模型的相互转换，其解析方法就是由Petri网通用网论(general net theory)导出的Petri网语用学(Pragmatics)。语用学在Petri网原理中尚未能得到完整阐述与归纳。本发明就是导出该解析方法，即语用语法规则。通用网论包括并发关系、出现结构、C/E系统和信息流网，相应的语用规则是造字、组词、造句和谋篇。语用语法规则恰是汉语语法，因此语用语言是汉语言。因为本发明的解析方法实现了语用语言的理解(从语用语言解析出Petri网模型)和表达(从Petri网模型解析出语用语言)，所以遵循通用网论的Petri网模型与语用语言的解析方法实现了汉语言的理解与表达。

摘要： 本发明涉及一种基于Petri网的服装产线行为模型建立方法，包括以下步骤；步骤一，确定模型的流程元素；Petri网中的流程元素包括库所元素和变迁元素，将服装生产线映射为基于Petri网的行为模型，确定模型的流程元素；步骤二，确定模型的逻辑关系；确定了模型的流程元素后，根据实际工序流程将库所元素和变迁元素进行连接，确定模型的逻辑关系。本发明提供了一种基于Petri网的服装产线行为模型建立方法及服装产线行为模型系统；能通过Petri网对服装生产线的行为模型进行描述建模，并使用关联矩阵分析法对使用Petri网建立的行为模型进行正确性验证。

摘要： 本发明公开了一种基于Petri网保性化简规则的精简流程模型挖掘方法与系统，包括：1)将输入的事件日志通过Inductive Miner流程发现算法挖掘得到初始Petri网流程模型；2)遍历流程模型的变迁节点，获取不可见变迁的位置信息；3)根据不可见变迁位置信息按照流程模型化简规则判断是否符合化简条件，对符合化简条件的流程模型按照其对应类型的化简规则进行化简；4)重复步骤3)，直到流程模型不能再化简为止；5)将化简后的流程模型与事件日志作合规性检查，测量拟合度和准确度，计算两者的综合指标F‑measure值，评估化简后流程模型的质量。本发明可有效地通过Petri网化简规则，降低流程模型的结构复杂性和减少过程模型的状态搜索空间，同时保证流程模型的可见行为，方便人们理解流程模型的行为。

摘要： 本发明提供一种基于Petri网模型的多AGV路径规划避障方法，该方法提出了基于Petri网模型的十字路口冲突类型，并提出了完整的路径规划方法，包括步骤：记录两辆AGV的原行驶路径及空位信息、判断当前两车的冲突类型、选择Petri网解决模型、求解可达树、计算每一步目标位置、得到路径规划，实现了冲突避让。本发明可用于多AGV场景下的避障规划，算法的时间复杂度和空间复杂度较小，能适应实时动态条件下的路径规划计算；实验结果表明本发明具有稳定性和准确性。

摘要： 本发明属于个人快速运输系统(PRT)工程技术领域，特别涉及一种基于Petri网的PRT动态运行综合控制模型、仿真方法及应用。包括第一Petri网运行模型、第二Petri网运行模型、PRT线路模型以及PRT被控单元模型；所述第一Petri网运行模型和所述第二Petri网运行模型分别基于PRT线路建立；所述PRT线路模型包括直行线路和交汇并线线路；所述第一Petri网运行模型基于直行线路建立，所述第二Petri网运行模型基于交汇并线线路建立；所述PRT线路模型包括若干个列车区间，每个所述列车区间只允许一列PRT车辆进入，所述综合控制模型用于对PRT车辆单元在所述PRT线路上的运行过程进行动态仿真模拟并且根据接收到的PRT车辆单元运行过程中的故障反馈进行调整排除障碍。