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

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

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

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

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

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

基于扩展数据对象Petri网的工作流模型的研究

通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。     

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

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

基于Petri网的PMS动态调度仿真

Petri网模型是FMS动态仿真的有利工具。本文利用面向对象方法对FMS和有色赋时Petri网进行了描述，并根据最小下次事件时间推进原理，利用VisualC 建立了动态调度仿真系统。结果表明，面向对象方法具有表达直观和自然，可扩充性，实现容易和简便等优点。     

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

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

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

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

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

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

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

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

Generalized stochastic Petri nets based models for performance analysis of communication networks of IEC61850 system

1 Introduction a After many years’ research and developments, communication networks have demonstrated more and more important functions in a substation automation system (SAS). In our experience in developing and applying such systems, we have witnessed…     

Development of a plastic injection molding training system using Petri nets and virtual reality

INTRODUCTIONAt present, plastic as a substitute for metals in products is the most important mainstay in industrial raw materials. Furthermore, plastic injection molding is one of the most common and versatile methods for mass production of complex plastic parts with excel-lent dimensional tolerance. Since the technology of injection molding has been widely applied in manu-facturing, training on injection molding is of great importance. The traditional approach is to consult some technica…     

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

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

Stochastic individual predicate/transition nets

We analyze the drawbacks of generally distributed time transition stochastic Petri nets （GDTT_SPN） in evaluating the performance of parallel systems, and propose a more general model, stochastic individual predicate/transition nets （SIPTN）. SIPTN has higher modeling power and could provide more realistic models compared to GDTT_SPN, because in SIPTN the sojourn time distribution is determined not only by the transition, but also by the individuals. It is further proved that GDTT_SPN is a subset of SIPTN. As SIPTN introduces folding techniques from predicate/transition nets, SIPTN models have simpler and more intuitive graphic notations and accordingly higher usability, and thus are suitable for constructing simulation models for parallel systems.     

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

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

基于面向对象智能体Petri网的电子商务模型的设计

在定义了面向对象智能体Petri网及PDM模块各组成部分的基础上,提出了一种可以支持电子商务系统的OAP模型,并以房地产交易的双方为例进行了模型的设计及验证,证明该电子商务的执行过程在本文所设计的模型中得到了有效的追踪。     

基于面向对象智能体Petri网的电子商务模型的设计

在定义了面向对象智能体Petri网及PDM模块各组成部分的基础上,提出了一种可以支持电子商务系统的OAP模型,并以房地产交易的双方为例进行了模型的设计及验证,证明该电子商务的执行过程在本文所设计的模型中得到了有效的追踪。     

基于Petri网的混杂控制方法在锅炉燃烧系统中的应用研究

锅炉燃烧系统是典型的复杂被控对象,常规的控制方案难以取得满意的控制效果.将基于Petri网的混杂控制方法引入锅炉燃烧系统,给出了锅炉燃烧系统的混杂控制模型,利用Petri网建立了离散事件系统的模型.     

基于UML的B/S结构EPSS的分析与建模设计

电子绩效支持系统（EPSS）的组件可采用面向对象的技术来规划，在规划这些组件时，可以借助UML建模语言来进行。在对EPSS进行面向对象的分析基础之上，说明如何使用UML为系统建立面向对象的模型。     

基于高层Petri网的信息系统行为模型

信息系统的设计不仅要反映对象间相互关联的静态系统而且还要反映活动间相互关联的动态系统。本文以高层Petri网作为建模工具,逐层细化描述系统中对象之间的静态关系以及对象的动态行为。库所代表关系模式,标记是相应类型的一个关系,交迁代表在它输入／输出库所上对关系的一种操作,指定到变迁上的逻辑表达式用来指定所移动成插入元组的选择条件。