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

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

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

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

基于Petri网的火灾报警控制系统建模

分析了火灾报警与联动控制过程,并利用Petri网对这一过程中事件的异步、并行、冲突等重要特征进行描述,并实施分析、研究,对数据处理算法予以优化,最后给出了基于Petri网的火灾报警控制系统模型.     

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

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

基于连续Petri网的城市交通网络建模研究

建立了基于连续Petri网的城市交通网络模型。采用层次化的建模方法,首先构建整个交通网络系统的大框架模型,然后对其构成的关键要素——交叉口给出细化模型。交叉口模型清晰地描述了各个方向的交通流在道路交叉口处的转向行为和转向延误信息。体现路段阻抗和节点阻抗的时延因素的引入,使得模型能更加真实地反映交通网络的动态特性,为后续动态路径的诱导和交通控制提供思路。     

基于Petri网的语义Web服务组合建模研究

近年来,随着Internet上的Web服务数量激增,单个Web服务已不能满足用户需求,开展语义Web服务的组合问题研究具有重要的现实意义。文章在前期Ontology的语义Web服务组合框架研究基础上,围绕Petri网在Web服务的应用展开工作,提出一种Petri网的服务组合建模方法,并通过实例仿真对其有效性、可行性进行了验证。     

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

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

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

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

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

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

基于Petri网的工作流过程建模与分析方法的研究

工作流管理是CSCW的一个重要方面 .本文介绍了工作流过程的基本知识 ,给出了一种基于Petri网的建模方法和基本定义 ,讨论了工作流过程结构和行为正确性的分析和验证 ,最后提出了过程定义的验证算法 .     

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

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

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

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

基于Petri网的加工中心系统建模与仿真

介绍Petri网的基本理论，利用它对某车间加工中心系统生产过程建立模型，反应整个系统的加工动态特性，用ARENA7．0语言进行仿真研究，分析系统资源配置的合理性、高效性，提出更实际、更完整、更复杂的制造自动化未统的建模与仿真要求。     

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

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

基于有色Petri网的火力分配过程建模

为了有效地进行火力分配，利用有色Petri网对火力分配过程建模，形象直观地描述了分配过程中事件的不确定性、并行性和资源共享等特征，同时有效地解决了模型中存在的冲突、死锁等问题，并克服了普通Petri网建模时复杂繁琐的缺点。     

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

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

基于Petri网的学校公文管理系统的建模与分析

以办公信息流处理系统为背景,所做的工作主要集中在如何将时间Petri网技术运用在教育公文管理工作流系统的建模中.结合高校公文管理工作流的实际应用环境,提出基于Petri网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能.     

无线网络安全协议Kerberos的Petri网建模

由于无线网络与移动设备的特点,无线网络安全协议的执行环境变得更为复杂。对比了网络安全协议WAP、IEE802.1X、EAP、WPA认证协议和Kerberos协议。Kerberos协议在身份委派和身份验证方面较为高效,成为常用的无线网络安全协议。Petri网作为信息化建模仿真的常用工具,能以图形化、层次化的方式描述系统。在分析Kerberos协议工作原理的基础上,采用Petri网工具CPNTools对Kerberos协议进行建模与仿真,采用图形化方式,直观地表达了该协议特点。     

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

工作流是指工作任务在多个人或单位之间的流转。在计算机网络环境下，这种流转表现为信息和数据在多人之间的传送。工作流所要解决的主要问题是使多个参与者之间按照某种预定义的规则传递文档、信息或任务的过程自动进行，从而实现某个预期的业务目标。     

基于Petri网的学校会议管理系统分析与建模

随着我国教育事业的发展,学校之间的竞争日益激烈,如何优化学校内部管理体制和提高工作效率显得愈加重要。以学校会议管理系统为背景,结合学校会议管理的实际应用环境,提出基于Petri网的学校会议管理系统工作流模型,用Petri网可达树分析方法分析了模型的可行性,并基于此模型开发了相应系统。