基于Petri网的民事诉讼流程建模及评价

法院民事诉讼流程的建模和评价是实现其流程重组、优化和改进以及资源合理配置的基础。该文提出了采用形式化建模语言Petri网来建模法院当前的民事诉讼流程,从而可以利用Petri网分析方法(可达图、不变量)对民事诉讼流程进行正确性分析,如不存在死锁、活锁等。在此基础上,通过考虑流程中各活动的执行时间,应用随机时间Petri网对诉讼流程进行性能分析,从而可以估算诉讼流程的平均周期时间、各资源的利用率等性能指标,为法院诉讼流程的重组、优化和改进提供了决策上的支持。     

基于Petri网的集团军装备指挥流程建模

集团军装备指挥信息复杂,涉及面广,普通的数学建模方法很难仿真。针对此问题,通过Petri网对集团军装备指挥控制信息流程进行建模,得出了与实际符合的Petri网模型,仿真出实际工作中存在的问题,对集团军装备指挥控制系统有一定的指导意义。     

基于Petri网的项目外包实施流程建模与优化

项目实施是外包行业的重要组成部分,在整个项目的上线过程中起着重要的作用。目前已经存在大量的完整的项目实施流程,但这些业务流程存在着一些缺陷,无法适应不同客户对项目接受能力的差异,培训实际消耗时间与预期时间不一致,影响项目实施进度等问题。为了解决这一问题,利用Petri网对项目实施流程进行建模和分析,给出了优化的项目实施流程模型。优化后的模型缩短了项目实施周期,改善了项目外包的实施流程。     

基于Petri网的离散制造过程建模工具

通过分析离散制造系统的基本组成元素和离散制造过程的特点，将有色时间Ｐｅｔｒｉ网中的颜色元素进行面向对象的扩展，分别对离散制造系统的硬件组成，行为方式的控制方式建立模型。通过模型的仿真运行模拟离散制造过程的控制信息和数据的流动情况，为离散制造系统的设计，规划，调度，控制等问题的研究提供了一个有效的工具。     

基于Petri网的运输流程系统建模优化

通过Petri网对货拉拉运输流程的建模进行了优化，对传统货拉拉运输流程进行建模，并发现模型中存在一些不足，针对其不足进行相应的优化，加入了物品分类别运输和订单异常问题处理的方法，对其运输中产生纠纷的现象提出了一种解决方法。Petri网作为一种用于描述离散的、分布式系统的数学建模工具，它在货拉拉运输中的运用不仅提高了运输的效率，也同时提高了客户的满意度和服务的质量。将所构建的模型在PIPE软件中进行仿真，验证了该优化的合理性和可行性。     

基于Petri网的敏捷制造业务过程建模研究

在分析敏捷制造业务过程的基础上,给出了该业务过程的Petri网系统描述,并提出了Petri网过程模型.该模型描述了敏捷制造中多因素相互间的动态行为,解决了其过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

基于CPN的小灵通业务建模及在业务冲突的应用

运用着色Petri网建模分析工具CPN Tools对小灵通彩铃和双振业务建模,提出分层网络结构,将电信网络以网元为基础建模。通过对模型结构和网元参数的调整将多个业务集成,为电信业务的建模和检测业务冲突提供了一种方便和快捷方法。     

基于着色Petri网的BPEL建模与验证

目的为了保证使用商业过程执行语言(BPEL)描述的Web服务组合的正确性。方法用着色Petri网(CP-nets)对BPEL流程进行建模、分析以及验证。结果定义了一套从BPEL到CP-nets的映射规则,该规则可以将BPEL流程转换成CP-nets,通过着色Petri网工具-CPN tools对该CP-nets进行自动分析以及验证,从而验证该BPEL流程的安全性、活性等性质。结论利用CP-nets这种形式化工具可以有效地发现BPEL流程中存在的设计错误。     

基于Petri网的网络化快速原型制造过程建模研究

在分析网络化快速原型制造过程的基础上,给出了该过程的Petri网系统描述,并提出了其Petri网过程模型.该模型描述了网络化快速原型制造中多因素相互间的动态行为,解决了过程中各环节之间的并发性、异步性、分布性等问题.最后,运用可达树分析方法分析了网模型的活性.     

装配过程资源的CPN建模与仿真技术研究

文章在分析制造业装配过程资源管理准确性及有效性需求的基础上,研究装配过程资源的CPN建模与仿真技术;利用着色Petri网对装配过程建模,通过对构建模型的仿真提取与资源相关的过程数据,进行统计分析,找出影响装配过程资源管理的关键因素,为实现装配过程资源合理、有效的组织和管理提供依据,提高资源管理的准确性和可靠性.     

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

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

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

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

有色Petri网在软件开发中的应用

为了提高软件开发的质量,尽量在编写代码和执行软件系统之前找出错误,减少软件开发的费用,在软件开发的过程中引入了既有形式化的描述方法又有图形表达能力的工具有色Petri网.在介绍了有色Petri网的形式化定义及其图形表示后,提出了引入有色Petri网后的软件开发框架,最后介绍了一个应用实例.     

基于着色Petri网的工作流模型研究与应用

建模是工作流技术中的核心工作,也是工作流技术中的一个重要研究内容。文章介绍了着色Petri网和着色工作流网(CWF-nets)的相关概念,给出了一种分析CWF-nets的正确性的极大变迁序列方法,并通过对一个项目金额申报业务流程的建模和分析,验证了基于CWF-nets模型的正确性。     

混合Petri Net在制造系统建模与仿真中的应用

针对大批量制造系统,建立了一种有效的建模仿真工具——混合Petrinet(PN),并对其进行了数学描述。在混合PN中,连续节点被用来表示大容量库所和短时变迁,解决了传统的离散PN在仿真过程中存在的可达状态爆炸和仿真时间过长的问题。对离散PN和混合PN在事件数量和仿真时间方面进行了比较;运用混合PN对某汽车冲压加工单元进行了建模和仿真,并对其输出缓冲区的容量进行了优化设计,明显提高了设计和分析的效率。     

炼钢连铸过程的Petri网实时调度模型

炼钢连铸过程是一个复杂而又典型的混合动态系统，但现有的混合动态系统理论难以对此进行直接分析和综合。文章提出一种区段赋时弧有色Ｐｅｔｒｉ网，其库所输出弧上标注的是以颜色为变量的时间区间函数，并从抽象混合动态系统的角度给出了这种Ｐｅｔｒｉ网的变迁规则。利用模块化思想，以区段赋时弧有色Ｐｅｔｒｉ网为工具，说明了如何建立一个电炉炼钢连铸过程的实时调度模型。基于这一模型，既可以仿真整个生产过程，又可以分析和综合实时调度策略。     

模糊故障Petri网建模方法及其应用

为克服模糊Petri网和故障Petri网在模拟故障传播、诊断和推理过程中的不足,提出模糊故障Petri网的概念及其建模方法,分一因一果、一因多果、多因一果和竞争模式4种情况定义变迁发生的规则和后果,以此模拟系统的动态运行过程,反映故障传播的固有特性.将模糊故障Petri网的建模方法应用于故障推理与诊断,提出将正向推理和反向推理相结合,并给出相应的推理算法,用泵站机组压力不足的实例加以验证.研究结果表明:该方法既能模拟故障传播过程,又能进行模糊推理,实用性强.     

基于Petri网的制造系统质量管理流程建模

为满足质量管理体系持续改进的要求,建立了流程重构的定量分析方法.该方法对制造系统质量管理流程进行Petri网建模,并通过行为表达式的分析方法对该模型进行定量性能品质分析,给出质量管理流程各环节的函数关系,用于指导质量管理流程的重构,使得系统能得到更高的吞吐率和更平衡的流程控制.最后基于企业质量管理流程实际案例,建立了工作流模型,给出了分析的实例和步骤.结果表明,本方法可方便地获取流程重构性能指标,并对流程的瓶颈进行定位.     

基于随机Petri网的系统性能评价

性能评价是计算机网络和计算机系统研究与应用的重要理论和支撑技术。综述了作者在基于随机 Petri网(SPN)的系统性能评价方面的研究工作 ,内容包括多服务器多队列网络、 SPN非乘积解系统的判定与界限求解、非乘积解系统模型的分解和近似求解、网络系统自相似业务到达、SPN模型的精化设计、含有非 Markov过程的排队 Petri网、基于 SPN的工作流系统、基于 SPN模型的缓冲优先调度策略、扩展时段时序逻辑的推理机制等方面。今后应加强对非Markov模型、综合模型及分解压缩技术等的研究     

基于Petri网的产品重构描述及规划

为满足制造商需要快速地对市场变化做出响应的需求,需要研究产品重构领域中产品重构模型的描述和确定可重构产品的重构序列。该文对已有的一些装配和拆卸的描述方法进行分析,基于Petri网提出了一种对可重构产品进行描述的有效方法,解决了重构接口表示的问题。提出了一种考虑经济性的重构算法,使用重构成本矩阵,可以有效搜索重构路径。该文以可重构并联机器的典型驱动支链为例,验证了该方法的可行性。