基于流随机Petri网模型的可重入生产线稳定性分析

可重入生产线是作为芯片制造生产线模型被研究的，其特点是具有“可重入性”。该文基于流随机Petri网(Fluid Stochastic Petri Net,FSPN)对可重入生产线进行建模，并得到了一些相关的稳定性结论。     

基于Petri网的MDA建模研究

随着工作流建模在MDA研究中地位日益突显,相关领域的研究工作受到越来越多的关注;考虑到现有建模方法在描述并发、冲突以及并行等复杂模型时所表现的局限性,文中提出了基于Petri网的MDA建模方法;在具体研究过程中,首先深人讨论了基于Petri网的复杂工作流建模方法和相关定义;接着,重点介绍了分支和汇合、自由选择冲突和复合工作流的建模过程以及相应的XML描述方法;最后,以某实际工作流为分析对象,应用文中提出的方法进行MDA工作流建模和分析.     

基于Petri网的IC制造调度优化

论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法还具有较高的运行效率,文中的实验结果也充分显示了这点。     

基于Petri网超媒体模型研究

在分析当前超媒体形式化模型特点的基础上,本文提出了一个全新的模型－ＣＰＮＨ,它基于有色Ｐｅｔｒｉ网,具有刻画分布超媒体主要性质的能力,与其他模型相比该模型能够有效解决并发浏览、存到控制和版本总理２,而且有力刻画了分布环境下多媒体的动态特性文中着重给出了ＣＰＮＨ模型的形式化定义并举例说明。     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试,是贯穿于整个开发生命周期的,尤其在开发早期,其作用更为重要。Petri网是一种好的分析工具,它能够动态运行程序模型,分析模型中存在的死锁、并发、冲突等问题,对程序正确性进行验证和分析。     

基于Petri网的流程变体合并方法

业务融合时往往需要将已有的多个流程合并,从而形成新的满足实际需求的业务流程,如何识别已有业务流的共性特征来消除流程冗余具有较大的实际应用价值.因此,提出了一种基于Petri网的流程变体合并方法.首先,由计算匹配分数算法计算多个流程变体间不同组合的匹配分数,由此来选定一对匹配分数最高的流程变体组合;然后,根据提出的合并算...     

基于Petri网的软件测试分析

软件测试是发现软件中错误而检查文档、运行程序的一个过程。对软件文档和代码进行测试，是贯穿于整个开发生命周期的，尤其在开发早期，其作用更为重要。Petri网是一种好的分析工具，它能够动态运行程序模型，分析模型中存在的死锁、并发、冲突等问题，对程序正确性进行验证和分析。     

基于人工免疫的模糊Petri网参数优化

针对模糊Petri网的知识推理能力受限于参数优劣,提出了一种基于改进人工免疫算法的模糊Petri网参数优化方法。实验表明,文中方法能较为准确地实现参数优化,得到的优化结果与期望值具有较小的均方误差,且与其它方法相比,具有较快的全局收敛速度和较强的全局寻优能力,具有很强的通用性。     

基于Petri网的五笔画输入法算法优化研究

将Petri网理论和五笔画输入法结合起来,提出了一个较完整的用Petri网建立的笔画输入法算法模型。该模型借助Petri网有关理论成果,完成笔画输入法的建模与并行化分析,便于计算机处理。其实质是在五笔画输入之间和查询过程中加入变迁元素,使其更反映汉字查询的本质。首先给出了基于Petri网的整体输入框架建模的步骤和详细过程,然后利用所建立的模型对五笔画输入法算法过程进行了分析,最后把基于Petri网的五笔画输入法算法与手写、拼音输入算法进行比较,证明本文算法具备更优的检索效率。     

面向对象Petri网的成品油配送模型构建研究

在对面向对象Petri网（Object-Oriented Petri Nets,OOPN）技术中系统与系统对象的形式化理论研究以及现有成品油配送系统业务流程分析基础之上,建立了面向对象Petri网的成品油配送模型;通过对模型进行死锁、有界性与安全性分析对系统的性能与可靠性进行了验证,验证结果表明所建立的模型不存在死锁,有界但不安全。针对模型验证结果,将成品油配送中的并发事件统一抽象为订单到达与处理事件,并应用排队论对事件的处理进行了优化,以提高系统的安全性。以配送中心订单服务台配备个数为例对方案的应用进行了说明,并用MatLab对案例进行仿真验证了方案的正确性。最后,对模型的优点进行了总结。     

混合Petri网的流体随机Petri网模型

混合Petri网和流体随机Petri网作为混合系统的建模方法,其内在的建模机制和分析方法不尽相同,而且这两种机制远未发展成熟.分析并建立它们之间相互转换的方法有助于机制本身的发展完善,并利用对方的建模原语和分析方法对系统进行多角度的分析.提出了一阶混合Petri网转换成流体随机Petri网的形式化方法及转换后变迁合并的方法,并给出了转换和合并方法的正确性证明,最后结合实例简要阐述了这两种方法的实现过程.     

基于Petri网自动化构建BPEL流程的SMV模型

针对使用BPEL进行Web服务组合过程中,复杂业务流程的正确性验证繁琐且易出错问题,论文提出了一种自动化构建BPEL流程的SMV模型方法.该方法将BPEL流程自动化映射到Petri网,借由Petri网直观展示组合流程并进行边界值、死锁等性质的检查,再由Petri网可达图自动化生成SMV模型,使用模型检测工具验证系统的安全性和行为属性,从而在流程的设计阶段发现服务组合中可能存在的问题.实验结果表明论文工作可以有效地减少验证过程的复杂性,有助于提高服务组合流程的正确性.     

基于Petri网的Web服务流程建模

Web服务流程模型的建立是实现Web服务集成的重要环节。研究了Web服务流程Petri网模型的建立及其正确性检验的方法，并给出了Petri模型中基本路由的BPEL4WS描述。     

基于约束优化的Petri网可达性分析

Petri网的可达性判定问题是进行Petri网分析的基础。通过分析目前求解Petri网可达问题的判定方法和基于约束程序的Petri网可达问题判定方法,提出一种基于约束优化的Petri网可达问题判定方法,该方法是在状态方程法的基础上,利用约束程序寻求可行解,再利用优化求最优解,从而减少问题搜索的分支,达到减少状态方程的解空间的目的。最后通过实例的求解验证算法能够提高判定效率。     

管理信息系统Petri网分析模型

论文提出了管理信息系统的Ｐｅｔｒｉ网模型，并在此基础上，给出了系统结构性能参数，响应时间和吞吐率的计算。     

一种基于Petri网的Internet拥塞控制算法

目前Internet上的拥塞控制主要采用基于窗口的端到端的控制方法和RED算法，但都存在不足，最新研究提出奖赏服务等区分服务方式,结合Petri网的理论，提出一种新的排队算法，使得数据包进入队列后，不需穿过整个队列即可出队，排队效率得到提高，进一步缓解了Internet上的拥塞。     

基于Petri网的哲学思考

近年来,Petri网以其优秀的描述异步并发的能力以及简单、清晰的图形表示方法获得了长足的发展.同时,Petri网技术和其它技术的完美结合使其在应用领域如鱼得水.哲学高度深刻分析了Petri网之所以获得成功的思想渊源,通过诠释Petri网思想与哲学思想的诸多相通之处,帮助大家以一种全新的视角重新认识和理解Petri网.     

借助Petri网进行流程审计

信息的使用者往往关注保存在介质上的信息而忽视处理信息的程序。由于保存在介质上的信息有多个操作入口,即使处理信息的程序真实地反映了组织的业务流程,也难保证信息使用者所获得的信息是正确的,也就是说对于访问数据的程序,存在外部干扰。引入数据库中的审计表功能,协助信息系统审计人员识别信息系统中数据的形成是否遵循了既定的业务流程。由于Petri网是描述流程的有力工具,对于复杂的业务流程,引入Petri网对流程进行审计是必要的。     

采用时间约束Petri网分析优化广电过程模型

企业过程模型评价效果很难通过简单途径取得定量的对比分析结果,本文提出时间约束Petri网理论,在企业过程模型的主要指标采用Little转化为以时间为主的评价体系的基础上,研究采用时间约束Petri网建模对企业过程模型分析的方法和分析优化步骤,并针对广电网络过程模型的具体流程给出的实际案例加以形式化分析,得出优化的方案.