基于逻辑Petri网模型的断路器数字孪生车间系统

针对断路器批量化制造过程中的生产逻辑关系建模与控制问题,提出一种基于逻辑Petri网的断路器数字孪生车间系统建模与控制方法.基于物理车间的构成信息和断路器批量化制造工艺特点,建立了逻辑约束的递进式Petri网,实现了对物理生产过程的精准建模分析.在此基础上,采用模型结构分析、系统协同优化、物理引擎开发等方法,结合逻辑P...     

基于Petri网模型的FMS控制决策方法研究

应用Petri网理论 ,通过对现有FMS(柔性制造系统 )进行分析和研究 ,确定了该FMS中的各状态和事件及其因果关系 ,建立了实际FMS的Petri网模型。通过该模型的描述和对FMS实际运行情况进行分析 ,建立了优化调度控制规则。依据模型和调度控制规则 ,构造了该FMS管理与控制软件 ,实现了用于一实际FMS的调度与控制决策系统和动态运行的有效控制     

CIMOSA功能模型的Petri网表示方法

本文介绍了ＣＩＭＯＳＡ建模框架和功能模型的组成结构，指出了Ｐｅｔｒｉ网方法是进行ＣＩＭＯＳＡ模型仿真和模型验证的有效手段。为了解决ＣＩＭＯＳＡ模型仿真和执行中出现的不确定性、资源共享和信息传递问题，提出了一种扩展的有色Ｐｅｔｒｉ网方法—控制和集成网方法，并给出它的定义和符号表示形式，在此基础上研究了ＣＩＭＯＳＡ功能模型的Ｐｅｔｒｉ网表示方法并给出了由ＣＩＭＯＳＡ功能模型到Ｐｅｔｒｉ网模型的转换步骤及一个应用示例。     

基于Petri网的事件日志与过程模型对齐方法

为了提高过程挖掘中计算最优对齐的效率,提出一种基于Petri网的事件日志与过程模型之间的快速对齐方法——RapidAlign方法。该方法在观察日志的同时运行模型,比对日志活动与模型活动,从而得到日志移动、模型移动和同步移动;根据移动类型计算代价值,并记录日志和模型的当前状态;选取代价值最小的状态继续日志的观察和模型的运行,直到日志和模型均到达结束状态。最终生成一个最优对齐图,其源节点到终节点之间的路径包含了基于标准似然代价函数的事件日志与业务过程模型之间的所有最优对齐。对RapidAlign方法的适用性进行了详细且严格的描述,从理论上证明了该方法的正确性与有效性。通过仿真实验,验证了RapidAlign方法的优越性。     

基于程序运行轨迹Petri网模型挖掘的死锁检测方法

程序死锁检测对于保证软件系统的稳定性具有重要作用.动态死锁分析方法由于具有高效和低误报率的特点而得到广泛研究.然而,传统的动态分析方法采用锁图及其各类扩展模型进行程序运行轨迹的建模和分析,它们难以对锁的授权/释放操作及其执行场景进行准确刻画,从而会导致误报现象.针对该问题,提出一种新型的基于程序运行轨迹Petri网模型...     

基于Petri网的故障诊断方法研究

Petri网作为一种图形化的网络与建模工具,能方便的表示和分析信息流,进行逻辑关系的表达和系统行为的建模,在故障检测和诊断领域得到越来越广泛的应用.该文对基于Petri网的故障诊断方法进行了系统研究,旨在为工程实践提供理论基础.     

基于 Petri网的柔性制造系统动态优化模型

为解决柔性制造系统的动态优化调度问题,在基于扩展高级全局决策Petri网的柔性制造系统优化模型的基础上,提出了实时一优化切换控制Petri网模型。该模型在柔性制造系统发生加工设备故障、急件插入等异常情况时,自动切换并运行全局优化调度算法,并在系统允许的时间范围内,再切换返回到原有系统状态,按照新的优化结果运行。最后,以实时一优化切换控制Petri网模型与基于遗传的最小平衡算法结合为例,证实了该模型是有效的。     

基于Petri网的业务流程管理系统模型研究

Petri网是一个描述条件和任务之间关系的通用模型。在介绍Web服务和Petri网的基础上,结合电力行业某业务流程管理系统的实例,建立了一个基于Petri网的业务流程模型,在此基础上对简化后的Petri网进行死锁分析,以此作为业务流程建模的指导思想,可以提高业务流程系统的安全性、稳定性、健壮性。     

基于Petri网模型的物流系统建模

提出了一种基于Ｐｅｔｒｉ网动态模型的物流系统的Ｐｅｔｒｉ网模型，可以将物流系统的物理过程通过网系统形象地表示出来，基于Ｐｅｔｒｉ网模型的仿真系统能更真实地反映系统的动态特性。     

基于Petri网的产品拆卸模型研究

分析了现存的主要产品拆卸模型,指出了基于Ｐｅｔｒｉ网理论考虑所拆卸经济性的产品拆卸模型,对于部件拆卸、指定零件的拆卸以及产品的完全白拆卸,相应的拆卸序列物理意义明确,生成算法简单。由于拆卸序列的生成和优化考虑到成本,因而最优的拆卸序列上切实可行的,不足的是网络节点较多。     

一类制造系统Petri网模型的设计方法

力图以通信顺序进程理论作为制造系统的规格说明语言,该描述语言可以自动转化生成系统的Petri网模型,从而为复杂制造系统Petri网模型自动设计理论的研究,开辟了一条新途径。     

业务过程模型的Petri网形式化检查方法

为解决企业间业务协同模型形式化检查的问题,将采用标准业务过程建模符号的业务模型转换为Petri网,构造出一种可建模企业问复杂业务协同的业务过程流网.采用过程定义可扩展标记语言2.1版本,开发了一种具有通用性的业务过程模型转换和检查工具.采用业务过程流网对供应链中企业间采购订单过程进行了建模.实验结果表明,业务过程流网能将符合过程定义町扩展标记语占规范的业务模型完整地转换为Petri网,得到的Petri网易于化简和分析.     

基于高级Petri网的企业模型的建立

通过对CIMOSA功能视图和资源视图模型局限性的分析 ,定义了一类高级Petri网———分层对象时间Petri网 ,以及库所子网与子网代换 ,同时研究企业功能视图模型向HOTPN转换的语法规则 ,着重分析过程规则集到HOTPN的转换语法 ,并建立企业动态模型。在此基础上 ,建立了资源管理器、资源控制器以及资源执行器 ,确保和企业动态模型保持建模前后的一致性 ,方便模型之间的连接、调用和协调 ,便于实现仿真调度功能。     

基于Petri网的动态服务流程模型分割

为解决不同组织之间的统一流程定制和动态服务流程模型分割问题,提出了基于多个业务流程执行引擎支持的动态服务流程模型分割方法.首先提出基于高级Petri网的水平分割和垂直分割方法,将一个全局的BPEL模型分割为若干个完备的执行分片,然后根据组织的不同,分别放置在多个BPEL行语言引擎上执行,在此基础上进行了模型分割的正确性验证;为进一步提高多个BPEL引擎共同执行的性能,提出了混合分割方法及其体系结构,从而提高了其吞吐率,减少了服务响应时间的花费,并通过示例验证了BPEL流程模型混合分割执行的可行性.最后给出了支持模型混合分割的原型系统,实验结果表明,该模型的混合分割比水平分割和垂直分割更有效.     

基于Petri网的海关业务流程工作流模型分析

Petri网作为当今最具有前途的建模工具,它的应用几乎涉及到计算机学科的各个领域。这里通过对基于Petri网的海关业务流程工作流模型的实例分析,最终得出优秀的工作流模型可以优化工作流程、提高企业运行效率、增强企业竞争力的结论,而且该建模方式也为设计与开发高可靠性、柔性和适用性的工作流模型提供很好的依据。     

复杂Petri网模型的仿真

针对复杂Petri网模型难于仿真的问题 ,本文提出一种仿真思路 ,该思路包括模型元素实现和仿真算法两部分。在模型元素实现部分通过采用面向对象编程的思想抽象出与Petri网模型各元素相对应的类 ,然后利用各类生成模型中各元素的实例对象以实现从Petri网结构到程序结构的转换。仿真算法部分给出了利用所建模型进行仿真的详细步骤。作为案例 ,在文章的最后给出了应用所述方法开发的某管材轧制企业生产过程仿真程序的程序结构及其仿真结果     

基于逻辑数据Petri网的业务过程建模与分析

为了解决逻辑Petri网中处理托肯优先级的问题,结合逻辑Petri网和时间Petri网的思想,提出逻辑数据Petri网、引发规则及其可达图。在该网中,为每个托肯添加了属性和到达时间,为逻辑输入、输出变迁添加了批处理等待时间和变迁引发持续时间,为普通变迁添加了引发持续时间。针对托肯定义了属性、时间删除函数和写函数,对库所中托肯的属性和到达时间进行了操作。建立了基于逻辑数据Petri网的电子商务系统模型,构建了可达图并重新定义了可达图中的状态信息,分析了优先级不同的托肯的时间优越性以及系统处理用户请求时的公平性。