Petri

摘要： 与Rupert McPetrie的采访恰好是他升任竞立媒体大中华区首席执行官一周年的时候,而在本文出刊之时,他刚好荣升竞立媒体亚太区首席执行官。这一年多来,Rupert常常需要多地奔波,大部分时间仍然在上海,有时会去北京和广州的办公室,此外因为很多区域性的工作也需要他驻扎在香港办公室,对于繁忙的行程,很多时候因出差而处在隔离中,但Rupert显得十分乐观。

摘要： 基于Petri网络建立工作流,既可以将Petri网络作为图形化的建模工具,同时又可以利用它坚实的数学定义,对模型做出精确的分析,可以降低建模难度、简化过程,同时又能保证所建模型的正确性.本文通过对即时情报服务系统的业务流程分析,提出了一个基于Petri网络的即时情报服务系统工作流模型,并对该工作流模型进行正确性分析.该模型成功应用于即时情报服务系统建设中.

摘要： 以Petri理论为基础,定义数控机床智能制造工厂通用实体的模板类,再分析工艺流程得出零件物流加工过程的信息流图.以信息流图为基础对模板类进行组装.完成数控机床智能制造工厂调度模型的建模.对模型结合实际生产线进行实验优化.

摘要： Ad hoc网络具有无中心、无基础设施等特点,其安全面临严峻挑战.对Ad hoc网络安全进行评估,可为其安全性能提升与走向实际应用提供参考.对Ad hoc网络安全进行分析,提出了基于模糊Petri网的评估模型.通过引入变迁阈值和变迁支持度的策略,可自动灵活调整指标权重与指标体系结构,提高评估模型的准确度、灵敏度和适应性;充分利用Petri网和矩阵并行运算特点,给出了模糊规则的推理算法,提高了计算速度.

摘要： 在病毒性传染病高发时期,为避免患者在医院就诊时的交叉感染,文章利用Petri网及行为轮廓知识,从控制流角度提出一种传染病诊断流程模型的优化方案.针对在实际诊断过程中出现的新情况,通过增加结构变迁和库所对诊断流程进行优化.首先,提出了传染病诊断的一般流程;其次,分析实际诊断流程中出现的不适用情况,通过细化诊断流程对其进行优化;最后,运用Tina软件仿真模拟说明模型优化方案的可行性.

摘要： 在风暴灾害影响下,传统的故障远程监控方法存在监控时间过长、误差率较高等问题.针对以上不足,提出一种基于Petri网的风暴灾害下的输电线路运行故障远程监控技术.融合输电线路的电气量及开关量数据,根据融合结果,运用故障模式匹配与Petri网技术提取故障特征;由故障特征构建网络拓扑结构矩阵,把故障方向传给主机,根据主机上输电线路各点的故障方向构建故障信息矩阵,对两个矩阵进行运算来远程监控输电线路运行故障.分析实验数据可知,运用该远程监控技术对风暴灾害下输电线路运行故障进行监控时,监控时延保持在22～ 27 ms之间,监控误差率基本保持在20％以下,远低于传统技术.

摘要： 针对海军舰艇指控模型复杂度高、易受人为因素干扰、复用率不高等问题,应用CPN Tools建立舰艇指挥信息流模型,通过命令信息流与反馈信息流的流动构建舰艇指挥控制模型。定义了标准的信息流结构与舰艇部位结构,较好地解决了模型重用问题,提高了模型的适用范围。信息流的真实性保证了模型的客观性,从模型层面提高了指控系统与舰艇实际的贴合程度。

摘要： 论文在指挥信息系统需求分析中引入工作流的设计,给出了基于工作流指挥信息系统军事需求分析的基本流程,并指出使用Petri网在指挥信息系统军事需求分析系统的工作流层次化模型建立过程中的不足并证明解决方案的可靠性.

摘要： 基于目前共享雨伞使用的业务流程,通过Petri网进行形式化建模,进一步通过性质分析给出该业务流的优化方法,以实现完善的共事雨伞网上借用流程.

摘要： 本文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)的体系结构,并重点研究了办公自动化中的工作流的形式化模型及性能评价.

摘要： 本文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)的体系结构,并重点研究了办公自动化中的工作流的形式化模型及性能评价.

摘要： 本文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)的体系结构,并重点研究了办公自动化中的工作流的形式化模型及性能评价.

摘要： 本文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)的体系结构,并重点研究了办公自动化中的工作流的形式化模型及性能评价.

摘要： 本文在对工作流的相关标准以及办公自动化应用需求进行分析的基础上,提出了一种符合WFMC规范的工作流应用开发和运行平台(WF平台)的体系结构,并重点研究了办公自动化中的工作流的形式化模型及性能评价.

摘要： 本发明公开了一种基于着色Petri网的安全协议漏洞挖掘方法，其实现步骤为：基于着色Petri网CPN建模安全协议，设计安全协议模型解析工具，基于安全协议模型解析工具生成安全协议CPN模型，生成安全协议CPN模型的状态空间，获取安全协议漏洞挖掘结果。本发明通过着色Petri网CPN建模安全协议，使得在构建复杂安全协议模型的情况下，模型结构清晰且易于理解，并在安全协议CPN建模阶段引入了安全协议模型解析工具，实现了安全协议CPN模型的自动化生成，相比于现有手动CPN建模的方案，精简了安全协议CPN模型建模的步骤，极大地降低了安全协议漏洞挖掘的门槛，并且能够正确实现安全协议漏洞的挖掘。

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

摘要： 本发明公开了一种基于Petri net的车载供放电系统控制方法。所述车载供放电系统包括车载发电机、车载储能系统、供电控制系统、配电控制系统和用电负载；所述车载发电机包括原车发电机和备用发电机；车载储能系统由多组电池簇并联组成。本发明建立的基于Petri net的车载供放电系统供电控制流程，可以安全快速实现系统供电。电源及负载只要满足条件，就可以获得令牌发生变迁，进入输配电系统；当电源或负载发生故障时，也可以获得令牌发生变迁，退出输配电系统。且这些变迁是实时的，能够实现电能的实时分配。

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

摘要： 一种基于Petri网的制造系统生产效率最大化资源配置方法，先建立制造系统Petri网模型，然后输入各道工序的加工时间、资源成本、最大预算以及遗传算法相关参数，并输入原材料数量、随机生成初始资源数量配置种群，分别计算初始种群中所有个体表示的资源数量配置下的系统的生产周期、生产率及其对应的适应度值，然后利用遗传算法进行生产效率最大化资源配置优化，进化到最终代数后输出最大生产率和最优资源数量配置；本发明在满足预算的前提下，优化资源数量配置来使得制造系统生产率最大化，合理分配预算来提高企业的生产效率，缩短生产周期，具有良好的应用前景。

摘要： 本发明公开了一种部分可观标签时间Petri网的故障诊断方法，步骤S1：启动过程的重要环节对应为可观变迁和不可观变迁，标定各变迁触发区间，建立部分可观标签时间Petri网模型；步骤S2：转化为状态类图并修正变迁触发时间区间；步骤S3：根据检测时间点，遍历所有满足可观变迁触发时间和序列信息的路径，判断系统是否可以在一定时间内可诊断；步骤S4：对双组元推进系统启动过程建立部分可观标签时间Petri网模型，结合系统工作过程中各执行机构可观测状态，对系统不可观部分进行τ时间可诊断性判断。本方法利用可观变迁序列分类，推出变迁序列，计算故障发生后的时间关系，判断系统故障是否在τ个时间单位内可诊断。

摘要： 本发明公开了一种基于Petri网的工业机器人系统攻击链建模方法，所述方法包括如下步骤：S1：根据工业机器人系统的风险识别结果，获得工业机器人系统网络模型、风险要素信息；S2：根据工业机器人系统的风险分布情况，将相同资产内的所有风险封装在同一对象内；S3：构造攻击起始点和全体资产节点对象集合，以攻击起始点为攻击链模型起点，根据设备连接关系选择相连资产节点对象；S4：通过各资产节点对象遭受攻击所采用的威胁行为将全体资产节点对象连接构造基于Petri网的攻击链模型。该方法可实现对具有相同类型设备的大规模工业机器人系统攻击链建模。

摘要： 本发明属于配电网工程建设成本管控技术领域，涉及一种基于模糊Petri网的配电网工程建设成本管控系统，包括：中央处理器；中央处理器包括：数据搜集模块初步确定管控指标，搜集管控指标数据；数据预处理模块进行数据预处理，确定关键管控指标；模糊Petri网结构模块构建成本管控的Petri网结构图；诊断易出现偏差的配电网工程项目建设成本关键管控指标偏差路径；分析模块确定配电网工程项目建设成本中需要进行重点管控的关键管控指标。本申请系统基于模糊Petri网理论，可分析得出在配电网工程的建设过程中较易出现偏差的建设成本管控指标，从而进一步加强配电网建设项目中成本的管控，提高投资利用率。

摘要： 本申请属于机载系统总线仿真建模和评估技术领域，特别涉及一种基于petri网的1394总线负载仿真建模方法。包括：步骤一、构建1394网络模型，所述1394网络模型中包括多个petri网位置节点；步骤二、定义petri网位置节点数量以及含义；步骤三、定义各个petri网位置节点之间的变迁数量以及含义；步骤四、进行仿真分析。本申请能够实现对1394总线的动态仿真建模，可以比较准确的完成总线性能的分析，可以实现对系统综合性能的评价，极大的提高了总线性能评估的准确性和效率，优化了系统的顶层架构设计，减少系统设计过程中的迭代环节，极大节约设计成本，提高工作效率。

摘要： 本发明涉及一种基于petri网的系统脆弱性分析方法、系统和计算机可读存储介质。所述方法包括基于串联、并联和串并联混合的攻击顺序模拟初始节点到目标节点的感染过程以构建Petri网感染模型；基于所述Petri网感染模型、不同的感染概率与修复概率，计算不同状态下目标节点被成功攻击的概率；基于所述不同状态下目标节点被成功攻击的概率调节网络结构。本发明利用petri网对网络节点攻击行为的动态流程进行建模，可以动态地刻画网络种各节点的状态；针对不同系统网络节点连接情况进行了安全性分析，根据设置不同的攻击概率与修复概率，得出对系统脆弱性的影响；由此可以调整网络结构以增强防护能力和提高系统安全。