基于Petri网的工作流建模与分析

工作流建模是工作流研究中的关键问题.论文在对当前工作流中的主要路由模型分析的基础上,结合Petri网的结构、形式化定义和流程建模方法,建立了从工作流到Petri网的路由映射模型.通过对贷款处理流程的工作流建模分析表明,基于Petri网的工作流建模方法具有直观、简洁等优点.     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模,往往会因为细节过多而使其图形复杂.提出了一种基于着色Petri网的模型,给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证.应用结果表明,通过着色Petri网建模可以使得库所和变迁的数量都大为减少,使图形更加简约.     

利用着色Petri网检测小灵通双振铃与游子归家的话务循环问题

提出了一种可在建模和仿真阶段进行业务冲突检测的着色Petri网模型,为了克服Petri网的状态爆炸问题,引入了使用实例驱动法,即以引发序列仿真系统的典型行为,有针对性地检测业务冲突的发生.最后,以一个真实的案例说明模型的应用.本方法适用于着色Petri网的仿真工具CPN Tools.     

Petri网在现代教学论中的应用初探

本文通过对教学系统变化发展过程的分析,阐明用Petri网描述教学进程的可能性,并通过几个较为简单的Petri网建模实例,对现代教学理论和教学过程中的一些基本问题作出初步的研究和讨论.     

Petri网及其空调系统建模应用

首先介绍了Petri网的定义、性质以及几种重要的扩展形式的Petri网,然后以空调管理系统中混合箱的模型为例来说明Petri网在系统建模中的应用,该模型经仿真验证结构合理,且对于进一步研究空调系统的Petri网模型具有重要的意义．     

基于Petri网的人才评价工作流模型

提出了基于Petri网的人才评价工作流管理系统建模的应用研究,介绍工作流、工作流网、工作流建模的一些基本概念,以及用Petri网对工作流进行建模的过程,并结合人才评价系统实例讨论了基于Petri网的工作流模型的有效性和性能分析。     

基于Petri网的网约车系统建模优化

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析尤为重要.Petri网可达性是进行Petri网业务系统分析研究的基础,主要分析系统可能达到的状态和状态间的关系.针对常用的网约车软件,给出业务流程Petri网模型,并结合实际情况以及流程模型之间的交互关系,用Petri的可达性对系统进行建模分析.同时,为了商家和乘客利益的最大化,通过增加相关的控制结构对模型进行优化.实例分析了该方法的有效性.     

抽象数据类型Petri-Net

Petri网是一种状态转移模型,与有限状态机(FSM)相比,Petri网更适于通过较自然的方法来描述并发、并行或不确定系统.系统模型化的目的在于进行系统分析.对于Petri网,不仅可以采用转移模型通常进行的可达性分析,还可用线性代数方法进行分析,更给系统的特性分析提供了一条有效的途径,近年来成为很引人注目的建模工具.本文设计了一个抽象数据类型:Petri-Net,它将成为用Petri网技术进行分析的基础.     

无序档案资料整理的工作流网模型

工作流是实际业务工作流程的形式化表示,其关键在于建模.由于Petri网构建的工作流模型具有简单明了的特点,因而成为的重要建模工具.在Petri网和工作流理论的基础上,把一个实际的任务分解为工作流,并对该工作流构建工作流网模型.最后,对所建模型的正确性进行了定性的分析,并对模型的特性和所反映的问题进行了讨论,说明了利用Petri网技术来为实际业务流程建模的合理性和优越性.     

基于Petri网的词法分析器的研究

采用Petri网对词法分析器进行了设计与分析.首先引入一套自成体系的 “矢量文法“,并以矢量文法为桥梁,分析了Petri网与经典文法的包含关系.最后利用Petri网为经典的右线性正规文法建模,实现了基于Petri网建模的词法分析.     

基于随机时间Petri网的第三方物流业务流程建模与分析

以流程为核心对供应链进行再造是优化供应链的重要措施．而对流程进行量化的分析评价是近年来流程再造研究的热点．Petri网以其兼备图形化的描述方式和严格的数学定义的特点而成为目前流行的业务流程建模工具．给出随机时间Petri网的定义及其性能评价方法之后,对第三方物流业务流程进行建模和分析。     

基于着色Petri网的电子商务工作流建模

用基本Petri网对电子商务工作流建模，往往会因为细节过多而使其图形复杂。提出了一种基于着色Petri网的模型，给出了针对电子商务中网上购物系统的建模过程并进行了结构合理性的论证。应用结果表明，通过着色Petri网建模可以使得库所和变迁的数量都大为减少，使图形更加简约。     

柔性制造过程基于PETRI网与知识的诊断

讨论了柔性制造过程的监控与诊断问题．提出了一个有效的监控与诊断系统的结构和模型，探讨了基于ＰＥＴＲＩ网与知识的集成监控与诊断层次模型和集成诊断策略等问题．将ＰＥＴＲＩ网与基于知识的ＡＩ方法相结合，用于柔性制造过程的监控诊断，旨在提高监控与诊断的实时性、快速性和有效性     

基于业务过程的生产系统仿真模型

提出了一种基于业务过程的、融合了PETRINET等分析语义、面向对象的生产系统仿真建模方法．文中将生产系统分解成概念模型、环境模型和语义模型，描述了每层模型的建模方法，最后以敏捷制造条件下的生产系统模型为例，描述了这种建模方法的面向对象建模过程．     

基于Petri网的协议测试例自动生成

Petri网支持下的协议一致性测试是协议工程研究中的重要课题.Petri不能很好地支持一致性测试集的自动生成.针对这一问题,分析了对基本Petri网扩展的必要性,提出了一种新的用于支持协议测试的扩展的高级Petri网,揭示了其静态结构和动态行为,并提出了该Petri网到测试描述语言TTCN-3的转换规则.开发了原型系统,并应用于实际的协议一致性测试工作.     

基于Petri网密码系统的实现

研究了用Petri网对密码系统建模和分析 ,用在系统可编程逻辑器件实现Petri网的方法 ,这种密码系统的设计方法简单、直观 由于Petri能够对复杂系统进行建模和分析 ,因此 ,采用这一方法能够十分容易地构造出复杂的密码系统 ,并确保系统的安全、可靠 文中给出了几种密码系统的Petri网模型 ,并给出了硬件实现的实例     

协同工作模式下飞机总体布置设计过程建模

针对协同工作模式下传统飞机设计任务分解和过程建模方法存在任务关联语义不明确和复杂流程分析能力弱的不足,提出了一种基于任务关联WBS(Work Breakdown Structure)/Petri网的飞机总体布置设计过程建模方法。在飞机系统WBS 基础上,采用可选、必选、选择、因果顺序、协调反馈等五种关系建立任务关联WBS 模型,再映射成基于Petri 网描述的飞机总体布置设计过程模型,实现飞机总体布置设计任务的静态结构表达和动态流程分析,使得任务分解和过程建模融为一体。通过建立飞机总体布置与协调系统对某飞机总体布置实例进行验证,证明了方法的正确性、有效性和适用性。     

Alternative Process Planning Modeling Research

ＡｌｔｅｒｎａｔｉｖｅＰｒｏｃｅｓｓＰｌａｎｎｉｎｇＭｏｄｅｌｉｎｇＲｅｓｅａｒｃｈ￥ＺｈａｎｇＹｕｙｕｎ，ＷｕＲｕｉｒｏｎｇＷａｎｇＸｉａｎｋｕｉ张玉云，吴瑞荣，王先逵（ＤｅｐａｒｔｍｅｎｔｏｆＡｕｔｏｍａｔｉｏｎ，ＤｅｐａｒｔｍｅｎｔｏｆＰｒｅｃ...     

一种有时间约束的复杂Petri网建模方法

在面向对象技术和时问约束Petri网的基础上,给出面向对象时间Petri网的定义、变迁发生的条件、后果等动态运行规则及建模方法,以降低有时间约束复杂系统的建模难度;提出时延关联矩阵的概念和计算方法,用于判断变迁是否有发生权以及计算变迁发生效果,证明相关定理,以增强系统的分析能力.在实际建模过程中,通过计算时延关联矩阵,找出系统的时间瓶颈,为改进和优化系统提供理论依据.通过保险索赔过程的建模和实例分析,证明了本文所提方法的有效性.     

机器人装配过程任务级控制的同步Petri网方法

采用同步Petri网对机器人销孔装配过程进行建模,研究了任务级上装配状态变迁路径的评价方法及优化算法。由于装配作业存在零件定位、工件运动和传感信息等诸多不确定性和突发事件,使得预先编制的装配作业程序容易发生故障,通过对装配状态变迁过程中的力／位姿信息进行分析,可以建立销孔装配过程的同步Petri网模型,并实时产生优化的装配状态变迁变列。所提出的任务级控制方法可用于指导产生具体的装配状态变迁的速度指令,并可在错误的装配状态发生时收敛到最终装配状态,销孔装配试验证明了该方法的正确性。