舰艇指控系统的有色Petri网模型

提出了一种包含外部环境成分的舰艇指控系统分析模型,它能真实的反映战场态势。用有色Petri网(CPN)的层次结构对该模型进行了描述,获得了舰艇指控系统的CPN模型。讨论了该CPN模型中一个子页一传感器子模型的建立、组成、与主页的关系及模型的运行过程,结果可用于舰艇指控系统组织结构的设计与性能分析。     

一个基于有色Petri网的Web服务合成模型

In this paper, a model based colored Petri net (CPN) to provide semantic support for web service composition is proposed, and the reliability and maintainability of composite services are improved. The composite constructs in the model are sequence, concurrent, choice, loop and replace. The web service is formally defined by a CPN. A closed composing algebra is defined to obtain a framework which enables declarative composition of web services. Availability, confidentiality, and integrity of composite service are analyzed within the framework of the model based CPN.     

基于扩展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网的公文管理系统工作流模型,并利用Petri网的可达树分析方法,运用具体数据分析了公文管理工作流模型的性能.     

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

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

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

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

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

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

一种基于Petri网的工作流过程模型正确性的有效验证方法

随着工作流应用的日益广泛 ,工作流模型正确性验证的重要性日渐突出 .论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误 ,给出了一个有效的验证算法     

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

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

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

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

Petri网系统建模与仿真实验课程教学探讨

目前高校开设的Petri网相关课程通常只关注Petri网基本概念和理论的讲解。哈尔滨工业大学开设的研究生课程"Petri网系统建模与仿真"则将课堂教学与实验教学密切结合、将理论学习与工程项目密切结合,从内容和方法两方面对该课程的实验教学进行了探讨,并提出了建议及应对问题的方法和措施。     

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

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

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

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

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

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