排队系统的随机Petri网描述与分析

研究了用随机Ｐｅｔｒｉ网描述的基本排队模型，提出了对复杂系统建模的组合方法，并结合通信网中若干实验问题尝试了用随机Ｐｅｔｒｉ网对排队系统建模、分析的一般途径。     

Petri网在OA系统工作流中的应用

Petri网既有严格的数学描述,又有直观的图形表示,是理想的工作流建模工具.本文以OA系统中收发文管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证.     

智能型工程图库管理系统的设计及Petri网建模

随着现代企业生产设计的飞速发展,日积月累的大量工程图纸面临保存、分类和归档的难题,因而建立智能型工程图库管理系统呼之欲出.相对于传统的纸张库存,电子化的存储方式是唯一可靠的永久保存方案,对图档的设计、修改和再利用提供了有效的手段.文中重点探讨了智能型工程图库管理系统的设计思想和实现方法,并讨论了其Petri网建模.     

着色Petri网在应急联动系统中的建模与仿真分析

在分析应急联动系统业务流程的基础上,引入着色Petri网,并利用支持Petri网建模与仿真的成熟工具CPNTools实现了应急联动系统流程的建模与仿真,同时对所建模型的性能进行了分析.     

基于改进Petri网的复杂产品系统项目规划模型研究

针对复杂产品系统项目的规划方法进行了讨论,提出了一种将图形建模工具与项目管理工具集成运用的改进Petri网模型.该改进模型运用CPM方法对特定项目进行规划,然后对形成的CPM图进行Petri网转换,最后根据仿真结果得到动态的优化规划模型.案例证明了该改进模型的有效性和实用性.     

基于Wf-Net的工作流模型分析

企业过程再造最终目的是提高管理效率和水平,增强企业的核心竞争力。工作流技术为其提供了强有力的工具。目前工作流的建模和分析工具有很多,由于Petri网具有坚实的理论基础和图形化表示的直观性,因而是一种理想的建模和分析工具。基于Wf-Net的工作流模型的分析技术,对其基本的过程和所涉及的问题进行了分析,尤其对模型正确性的判定等问题,进行了详细的阐述。     

基于着色Petri网的Web服务组合建模

用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.     

工作流建模技术在出版信息系统中的应用

工作流建模非常复杂,目前还没有一个专门的建模工具满足工作流建模的要求,在探讨和总结当前比较流行的几种工作流建模方法优劣的基础上分析了工作流网技术,最后将该技术成功应用在出版社的工作流过程建模中.     

基于Petri网的工作流模型构建

Petri网以其良好的数学基础和可视化的建模方法已成为工作流研究中的重要建模工具。尤其对办公自动化建模时,在描述和分析对象上有其独到的优越之处,本文以协同办公系统中的生产计划管理流程为例,提出了一个基于Petri网工作流建模的方法并进行了模型的正确性验证。     

过程管理建模技术分析

过程建模是过程管理技术的基础，通过对过程和过程管理的特点和要求进行分析，建立了过程建模方法基本评价指标，并以这一标准为基础，对适合过程管理建模的主要工具IDEF族、EEPC、Petri网、RAD和DFD进行了分析比较，综合考虑各种工具的优缺点，提出了在过程管理建模中，以Petri网（或扩展Petri网）为主，IDEF族为辅的建模方法。     

Process expression of bounded Petri nets

The concept of process expression of bounded Petri nets is presented.Moreover,an algorithm to find the process expression for a bounded Petri net is given.A process expression of a bounded Petri net is a regular expression whose every alphabet symbol represents a basic subprocess of the net.The regular set expressed by the regular expression is the set of all surjective processes of a bounded Petri net.A surjective process of a bounded Petri net is a process of this net in which every s-cut corresponds to a reachable marking of the net.Therefore,all surjective processes of a bounded Petri net can be obtained as long as its process expression and the basic subprocess represented by the alphabet symbols of the process expression are given.     

模糊Petri网的合成运算

模糊Petri网是Petri网的一个重要方向,该文将Petri网的合成运算拓展到模糊Petri网系统,定义了模糊Petri网的共享合成和同步合成,并利用子网的关联矩阵构造出合成Petri网的关联矩阵,简捷方便地刻画了模糊Petri网的合成运算特点。     

基于Petri网下递归关系的自控网模型

自控网系统是Petri网系统的一个子类,与P/T系统以及基本网系统相比较,具有更强的描述能力和建模能力。本文运用自控网系统定义了加、减、乘、除四种基本运算以及2个算子的自控网模型,通过逐级抽象建立了直接递归的自控网模型。这种分层逐级抽象的方法体现了利用Petri网形式化软件开发的基本思想。     

基于Petri网的项目管理模型研究

项目管理是一类典型的离散并发不确定系统,经典Petri网及其扩展可以很好的对项目工序逻辑关系、时间约束、资源约束、项目执行过程监控等进行可视化建模的同时,提供形式化理论支撑.在综合研究现有Petri网项目管理模型基础上,提出了基于着色时间约束Petri网的项目动态管理模型,并对该模型的变迁激发规则、状态空间、可达性及可调度性进行分析.该模型能够对项目管理中时间约束及资源约束进行建模,为项目动态管理提供可视化、形式化建模工具.     

对一个 Petri 网进程表达式的探讨

Petri网进程是Petri网分析和验证的有效手段,而Petri网的进程表达式可以给出系统全部进程的描述。针对文献《一种基于同步合成构造Petri网进程表达式的方法》提出的基于同步合成的Petri网表达式构成方法中的一个引理进行深入研究,并通过一个反例,说明这种方法的错误之处。     

战时装备维修保障系统赋时Petri网建模

Petri网作为离散事件系统（discrete event system,DES）建模仿真的有利工具,能较好地用于对战时装备维修保障系统的仿真建模。介绍了赋时Petri网,分析了其在战时装备保障系统中的运用,提出了系统模型假设,给出了战时装备维修保障系统模型的具体设计方案,并对模型的应用进行了说明。     

Modeling of photolithography process in semiconductor wafer fabrication systems using extended hybrid Petri nets

To describe a semiconductor wafer fabrication flow availably, a new modeling method of extended hybrid Petri nets （EHPNs） was proposed. To model the discrete part and continuous part of a complex photolithography process, hybrid Petri nets （HPNs） were introduced. To cope with the complexity of a photolithography process, object-oriented methods such as encapsulation and classifications were integrated with HPN models. EHPN definitions were presented on the basis of HPN models and object-oriented methods. Object-oriented hybrid Petri subnet models were developed for each typical physical object and an EHPN modeling procedure steps were structured. To demonstrate the feasibility and validity of the proposed modeling method, a real wafer photolithography case was used to illustrate the modeling procedure. dynamic modeling of a complex photolithography process effectively The modeling results indicate that the EHPNs can deal with the dynamic modeling of a complex photolithography process effectively.     

Petri网在ERP实施中业务流程建模的应用

对企业在实施ERP中的业务流程优化问题,提出了一种基于Petri网的业务流程优化和配置方法.首先分析ERP实施中的业务流程建模,指出采用Petri网建模的适用性.其次运用Petri网对流程给出形式化定义,提出优化规则,探讨基于Petri网的流程模型在ERP软件中的实现.最后结合某企业实施用友ERP的过程进行实例分析.