资源量确定的时间-资源优化问题的Petri网方法的应用

网络优化的一个主要内容是时间-资源优化问题。时间-资源优化就是在一定资源条件下,寻求最短的工期;或在一定的工期的前提下,使投入的资源量最少,网络计划的总工期是以一定的资源条件为基础的,资源条件如何,常常是影响工程进度的主要原因,因此网络计划不仅要考虑     

基于Petri网的体检流程建模优化分析

为提高体检的效率和质量,对医院体检流程进行建模优化非常重要.文中建立了一种基于Petri网的体检流程建模优化模型.给出体检基本流程的Petri网原模型,探讨了该流程模型中存在的问题,然后结合互联网智慧医疗对原模型进行了建模优化分析,增加了体检智能导检和排队叫号系统,从体检效率、体检秩序和审查环节等方面对原模型进行了优化...     

基于时间Petri网的MIKEY协议密钥分发研究

MIKEY协议是一种可应用于实时的、多媒体通信的密钥管理协议,密钥分发是密钥管理协议的一个重要内容.本文对MIKEY协议提供的三种密钥分发方式进行了基于时间Petri网的分析,并对其中公钥分发方式构建了中间人攻击的时间Petri网模型.     

一种基于用例及优先级策略时间Petri网的建模方法

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。     

基于Petri网的新生报到流程建模优化分析

为了让新生报到更加高效和便捷,基于Petri网的相关理论,提出了基于Petri网的新生报到流程模型优化分析.通过库所与变迁之间的交互关系,分析各流程节点间的行为,参考新生报到时的具体情况和学校的相关要求,让学校投入的大量的人力和物力能够最大限度发挥作用,优化新手入学报到流程,提高新生报到的效率,提升学生报到的体验.最后...     

电力系统故障诊断的Petri网方法

以元件、保护和断路器为目标来构造关联数据库,利用矩阵方法来表示Petri网电力系统故障诊断模型,通过在一模型实例中的应用,证实了该方法快速、通用的特点,同时也指出了该方法的不足之处。     

基于Petri网的数据库逻辑设计方法

提出了一种基于Petri网的数据库逻辑设计方法，用Petri网统一了数据库设计的整个过程，形成了新的数据库设计方法．     

基于Petri网可达性的外卖流程建模优化分析

业务流程的建模是业务管理的核心内容之一,对业务流程进行建模优化分析变得更加重要。对于建模工具Petri网,其可达性是研究系统动态性质的基础,主要分析系统可能达到的状态和状态间的关系。针对具体的外卖流程,利用可达性树判断其合法引发序列和状态并结合活动间的交互关系对模型增加活动变迁和库所进行优化。     

基于Petri网的数据库逻辑设计方法

提出了一种基于Petri网的数据库逻辑设计方法,用Petri网统一了 数据库设计的整个过程,形成了新的数据库设计方法.     

关于单纯Petri网的全进程

引入了单纯Petri网的概念,设∑=(S,T;F,M_0)是可逆有界Petri网,已证明可逆有界Petri网可由几个单纯Petri网连接得到.因此,为了讨论可逆有界Petri网的全进程就有必要研究单纯Petri网的结构和全进程,并证明单纯Petri网的结构由其可达标识链决定,为进一步认知单纯Petri网的全进程提供新思路.     

基于Petri网的高校设备采购工作流建模分析和优化

高校设备采购本身是一项复杂的活动,是一个多任务、多角色参与的流程化执行过程。在该过程中,如何合理设计所涉及到的各个环节,以及如何对各个环节进行优化和合理的资源配置是需要解决的重要问题。本文采用基于Petri网的工作流技术对高校设备采购流程进行工作流建模,并提出一种工作流合理性验证算法和工作流的优化算法。通过实践表明,这一方法取得了较好的应用效果,同时这将为采购软件的开发提供很好的理论支持。     

基于扩展Petri网的混合系统建模方法

为了对混合系统进行有效地建模,提出了一种扩展的面向对象混合Petri网(EOHPN)建模方法.针对混合系统的复杂性,在EOHPN模型中融入了面向对象的抽象机制,例如封装和类定义.为了结合混合系统的连续部分和离散部分,减少混合系统的复杂性,引入混合Petri网并用面向对象建模技术作了扩展.在定义EOHPN模型的基础上,拓展了对象模型.最后,用实例描述了基于EOHPN的混合系统建模过程,同时验证了EOHPN模型在处理复杂混合系统建模时是有效的.     

基于Petri网的网格工作流建模与优化

网格工作流不仅仅是传统工作流技术在网格环境中的一个应用,同时有大量的基本问题需要重新考虑。以Petri网建模技术构建网格工作流的过程模型有其优点和不足,可以在传统Petri网的基础上针对网格工作流的特点进行扩展,通过定义动态有色Petri网这一建模语言,解决网格工作流过程模型中的规模问题、动态性问题和选择性问题。     

一种基于Petri网的工作流模型合理性验证方法

利用Petri网结构分析理论,分析了现有合理性验证方法的优点以及不足。根据工作流网的特点,给出符合自由选择网结构的工作流网的合理性验证方法,并进行了算法实现。     

关于Petri网的代数结构

Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法.     

关于Petri网的代数结构

Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法.     

有色Petri网在web服务组合建模中的应用

以分布、异构、多自治域的互联网环境为背景,提出利用有色Petri网对web服务组合进行建模的方法,给出了web服务组合网的形式化描述和常用结构的图形化表示方法。文中所引用的案例模型可以在CPN—tools中测试．有效的建模是模型分析验证和模型应用的基础。对电子商务和企业应用集成在解决web服务组合问题中具有一定的参考价值。     

基于Petri网行为轮廓的超市自助结账系统优化分析

本研究对超市自助结账系统进行建模并对模型进行优化,以达到使模型更具有实用性的目的,首先对自助结账系统进行建模,在保证行为合理的基础上,通过增加相应的结构变迁,再利用行为轮廓的相关理论和性质,对原自助结账系统模型进行优化,以提高其实用性,缩短结账时间,并通过HIPS仿真软件进行模拟运行证明了优化模型的可行性.     

基于Petri网的轻量级工作流引擎研究

工作流引擎是工作流管理系统的核心部件,为工作流管理提供执行环境.给出了一个以Petri网为建模工具的轻量级工作流引擎设计方案,并在Web服务器上实现.该工作流引擎可复用,可扩展并具有自适应性,可以方便的集成到多种企业的管理系统中.