智能网业务中的Petri网建模及验证方法

在分析设计智能网业务的基础上提出了一种智能网业务逻辑的规范描述，将其中涉及并发、同步等的描述转化为Petri网模型，探讨了在该模型上的验证方法，并给出了一个应用该规范和模型的例子．     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法。图书馆管理预测问题具有多因素,离散,动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据。     

基于Petri网的贷款业务流程优化分析

业务流程优化分析在业务流程管理中扮演着重要的角色。基于Petri网对银行贷款业务进行建模分析,提出基于Petri网的贷款业务优化分析方案。首先从贷款业务流程的决策角度分析工作流网与数据流模型Petri网(DDP-nets)对建模的影响,结合两者优势提出数据决策Petri网模型的定义。然后通过建立贷款业务流程的数据决策Petri网模型,分析模型的合理性。其次利用两种方式对决策模型的决策变迁映射集(∑部分)完成实现。最后从普适性、模拟能力、简洁性角度与原模型分析对比,得出优化模型的优越性。     

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法.图书馆管理预测问题具有多因素、离散、动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据.     

基于Petri网的并行设计建模和分析

机械产品并行设计过程具有多因素、离散、动态和并发等特点,尤其是疳发性,它影响设计结果的稳定性和精度,利用Petri网良好的离散事件动态表达和计算能力,以及图形表示的直观性,建立并行设计问题的Petri网模型,并结合应用实例,对模型的动态、并发问题进行了分析。     

Petri网可达树的构造与实现

讨论了Petri网可达树的构造方法，给出了相应的算法和实现技术，对基于Petri网可达树的并发系统的动态性能分析具有一定的参考价值。     

MAS行为协进化Petri网模型构建

为对复杂的多Agent行为协进化过程进行建模,给出了行为协进化的MAS智能控制系统的组织构造,引入Petri网方法构建了系统行为协进化过程的Petri网模型,并对模型进行了特性分析及仿真验证.所建模型较好地描述了协进化及其控制过程的流程结构、动态行为规律及多Agent间的交互机制.     

基于高级Petri网的住院医师培训工作流建模与分析

为了实现住院医师培训系统协调并发运行、工作流程顺畅无误运转,提出一种基于着色高级Petri网与跨组织Petri网技术相结合的综合建模方法.针对跨组织模型结构,通过分级验证法验证模型性能,即采用不变量验证法验证组织内活性,采用归约可达图法验证组织间关联关系的可达性.利用不变量法和归约可达图验证法可确保组织内部和组织间无死锁,采用着色跨组织方法构建的模型适应于住院医师培训系统多角色和并发性的特点,提高了系统的实用性和高效性.     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

基于Petri网的企业科技项目管理工作流建模

科技项目管理是企业信息系统的重要组成部分，利用Petri网，对复杂的科技项目管理工作流程建模，解决企业信息化中较为复杂的科技项目管理工作流问题。同时，以企业科技项目申请流程为例，给出了相关定义，分析和解决设计流程中遇到的几个问题。     

基于网络流Petri网模型的设计更改技术

为了实现网络流系统设计更改的响应检测,将响应检测同网络的动态表达相结合,提出一种基于网络流Petri网(NFPN)动态模型的设计更改响应检测方法.用Petri网对网络流及设计更改进行描述,建立网络流Petri网的动态模型.在分析层级网络流特点的基础上,将Petri网完整可达图的构造同设计更改的响应检测相关联.通过多级抽象化简可达图,递归实现网络整体的分析.在配电网改造设计中的应用验证了该方法的可行性和有效性,降低了状态空间的复杂度,可见该方法适用于大尺度复杂网络.     

正态分布随机Petri网的串并行结构化简

基于正态分布随机Petri网的串行和并行两种基本结构的化简开展研究,推导出在正态分布广义随机Petri网中化简串行模型的等价理论公式,即合成执行时间为各个变迁的执行时间之和,仍服从正态分布,并且合成均值等于所有变迁执行时间的均值之和,合成标准偏差等于所有变迁执行时间标准偏差的方和根。还提出了并行模型的模拟仿真计算方法,分析了两个并行变迁独立不同分布时的情况,并给出了近似估算公式,在公式中,均值较大的变迁权重较大。     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

工作流动态变化在建模中的应用研究

如果工作流管理系统的建模过程中缺乏合理性验证,那么对庞大模型的验证将十分复杂。针对该问题,以Petri网为分析工具,提出了一种动态变化在建模中进行应用的方法。此方法引入动态变化生成的最小变化区域,并利用逻辑推导和真值表对该区域进行结构的合理性验证。实例分析证明,此方法可以降低建模的复杂度和验证的工作量。     

复杂分布式系统的面向智能agent建模

为了有效管理复杂分布式系统建造过程中的复杂性,提出了一种面向智能多agent系统的工程化软件建模技术.该方法使用扩展的UML用况图和顺序图来认定角色并建立角色模型,通过对agent的心智状态建模,使用扩展的UML状态图和Petri网图来发展agent自治行为和交互行为的动态模型.给出了一个覆盖了从问题域分析到生成agent类模型和agent交互模型全部过程的网络资源管理系统应用实例,并验证了建模方法抽象和管理系统复杂性的有效性.     

基于扩展Petri网的安全关键软件需求模型检验

Petri网是系统建模的形式化方法,为了解决其在软件需求建模和建立程序语义映射方面存在的不足,提出了一种扩展Petri网的方法来支持软件需求建模,区分了状态型和数值型库所,根据软件特点有针对性地扩展了变迁的可触发条件和迁移运算,同时建立了和模型检验程序语言的映射,将扩展Petri网作为检验的模型输入,利用时态逻辑描述运行性质,进行需求模型检验.定时器和航空发动机的防喘功能验证实例结果表明,扩展Petri网可以较好地支持软件系统需求建模和软件程序语义映射,通过模型检验和反例路径分析,可以达到修改和完善需求模型的目的,从而提高软件的质量和安全性.     

数据库设计中的动态特性分析

对用Ｐｅｔｒｉ网表示的事件模型采用了流分析的方法,自动地得出了反映数据动态特性的操作执 行频率,并对操作执行频率进行了可行的估算,这种方法可以避免单个地估算相 互联系的操作的执行频率所引起的不一致性。