Petri网位置不变量的几何意义

引入了Ｐｅｔｒｉ网路增益及位置不变量并运算的概念，建立了路增益与位置不变量之间的联系以及路、基本圈与它们对应的位置不变量的关系，给出了Ｐｅｔｒｉ网图形运算与位置不变量运算之间的关系，证明了加权状态机位置不变量存在的充要条件，揭示了Ｐｅｔｒｉ网位置不变量的几何意义。     

针对有限禁止状态的Petri网控制器综合

针对基于Petri网的离散事件系统禁止状态问题,提出了一种控制器综合方法.该方法是建立在受控Petri网最大不可控子网为规范化序状Petri网基础之上的,当禁止状态有限时,可以将禁止状态问题转化为惟一可达解向量问题,即可达标识和状态方程的解向量之间存在惟一的对应关系,从而只须通过判断惟一可达解向量就能够得到相应的控制器.通过一个具体的例子验证了该方法在设计最大允许控制器中的应用,例证表明,针对有限禁止状态问题,该方法是可行的,并且简单、有效.     

FMS的一种实时控制Petri网模型及应用

提出了一种对ＦＭＳ（ＦｌｅｘｉｂｌｅＭａｎｕｆａｃｔｕｒｉｎｇＳｙｓｔｅｍ——柔性制造系统）实时控制进行建模的Ｐｅｔｒｉ网工具——实时控制Ｐｅｔｒｉ网模型．该模型是通过对变迁和位置引入第二属性，即输出控制命令和传感器信息来实现的．最后用一个ＦＭＳ实例说明了建模过程．该模型可以很方便地转换为系统的控制代码或实时控制软件     

基于Petri网的图书借阅系统的 建模与优化分析

为提高图书的利用率,实现更人性化的借阅服务,提出了一种基于Petri网的图书借阅系统模型的优化方法.首先,通过分析图书借阅系统的结构,利用Petri网对借阅系统进行建模; 其次,对Petri网模型中的各变迁之间的行为轮廓关系进行分析后,通过增加控制结构对模型进行优化; 最后,利用PIPE软件对优化后的模型进行仿真模拟,结果表明优化后的模型具有有界性和安全性.     

基于Petri网的门诊就医流程模型优化分析

为减少患者就医排队时间,实现医院和患者之间相对的利益达到最大化,本文给出了基于Petri网的门诊就医流程模型的优化分析方法.首先,给出门诊就医流程的Petri网模型,通过实际的门诊就医情况分析流程模型中库所和变迁之间的交互关系,找出模型中存在的问题; 然后,通过增加相关的控制结构对模型进行优化,并通过分析说明了流程模型优化的有效性.     

基于有色Petri网的项目投资决策仿真分析

在应用净现值辅助投资决策时，为了综合考虑决策者的市场敏感度、风险偏好以及项目滚动开发的特征，在分析项目运行过程特性基础上建立了基于有色Petri网的过程动态模型。模型描述了项目投资回收的总过程，综合考虑了5个影响项目运行的因素: 项目本身的投入-产出关系、市场因素对项目产出的影响、项目再生产能力、决策者对市场的把握和决策者自身的风险偏好。设计了过程模型的计算机仿真框图来预测项目净现值。实例分析表明，模型误差较小，结果精度较高；基于有色Petri网的过程动态模型可以作为辅助投资决策的有效工具。     

一种扩展Petri网及其应用研究

基于Petri网,提出了离散事件系统建模,分析与控制的一种新模型——控制和数据Petri网(CDPN)．给出了CDPN形式定义,发射规则．研究了基于工业控制计算机和可编程序逻辑控制器的控制系统CDPN模型的设计步骤和方法,为控制系统设计的最终确认提供了形式化的分析手段和依据．最后给出了该方法在立体停车库控制系统设计中的应用．     

构件系统结构的Petri网方法描述

通过分析已有的ADL体系结构描述与分析方法,表明当前ADL难以有效地支持软件开发全过程和保障其可信度及服务质量。对当前Petri网在构件系统描述中的应用情况及其存在的问题进行了分析,讨论了基于Petri网进行构件系统建模时系统体系结构描述及结构演化等问题,表明Petri网方法在构件系统建模中具有较大的优势。     

Petri网建模方法在网络仿真中的应用

首先介绍了Petri网原理及特点和Petri网建模的一般方法，然后以CSMA／CD网络为例给出仿真模型，最后总结Petri网建模优点并将Petri网建模与流程图进行了比较。     

基于Petir网的产品全生命周期过程模型研究

产品全生命周期的过程管理和信息管理是产品全生命周期管理的主要研究内容,但迄今为止的绝大多数研究都集中在信息管理层面上,而对过程管理的研究则仅仅停留在直观的说明上。在对产品全生命周期过程进行详细分析的基础上,利用Petri网作为表达工具,建立了产品全生命周期过程模型,形式化地表达出产品全生命周期中产品设计和产品制造活动在信息意义上的并行性,为产品全生命周期过程的仿真和评价提供了理论依据。     

城市交通网络的混杂Petri网建模

针对城市交通网络中的动态车流具有连续时间特性而动态信号灯具有离散事件特性的情况, 采用混杂Petri网建立了一个四相位信号交叉口模型，该模型包含了城市交通网络中的连续车流动态和离散信号灯动态.在此基础上分析了交叉口各个方向的输入、输出车流动态，并与四相位信号交叉口的物理模型相对比，结果表明该混杂Petri网模型能够较好地描述城市交通网络的混杂特性.仿真结果表明了混杂Petri网模型的有效性.     

柔性制造系统活性监督控制器的简化设计

基于Petri网,研究了一类柔性制造系统中由可被清空的信标引发死锁的一种预防策略．将Petri网中可被清空的信标分为基本信标和从属信标,给每个基本信标添加一个控制库所．通过调节信标的控制深度变量,可控制所有的从属信标,并提出从属信标受控时所应满足的条件．通过对控制器的结构分析和优化设计,提出一种判断控制库所是否冗余的方法．通过剔除冗余的控制库所,得到了结构更为简单,许可行为更多的活性Petri网控制器．     

Petri网仿真语言的设计与研究

阐述了研究Petri网仿真语言的目的和意义，并简要地描述了Petri网仿真语言的设计及其相关问题，如性能分析、环境与工具的构造等，本文的研究对Petri网的工程应用具有基础性的重要作用。     

Petri网在语义Web服务组合中的应用研究

通过Petri网对语义层次上的web服务组合进行描述与建模,并将Petri网形式化元素加入到web服务中,然后对Petri网模型用XML进行描述,使之能在实际中应用。最后,给出了基于Petri网的Web服务组合应用实例。     

两类Petri网结构元素间的对应关系

建立了柔性制造系统Ｐｅｔｒｉ网模型中两类结构元素之间的一一对应关系，利用不同结构元素得到了系统活性之间的等价性，使得分析、控制柔性制造系统的两类不同方法之间有了一个内在联系     

基于时间Petri网的Artifact有效性的验证

在面向Artifact的业务流程管理系统中,业务核心数据实体Artifact具有动态时变性。Artifact状态是否正常关系到流程的运转成功与否,因此,验证Artifact的有效性是一个关键问题。针对该问题本文基于时间Petri网理论对Artifact的相关流程进行分析并获得其业务要求树,然后根据流程记录数据库中Artifact的快照构建出相应快照树,最后通过比较业务要求树和快照树而得以验证Artifact是否有效。     

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

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

基于Petri网的图书馆管理预测模型研究

提出了用Petri网科学管理图书馆的方法。图书馆管理预测问题具有多因素,离散,动态和并发等特点,Petri网有良好的离散事件动态表达和计算能力和直观的图形表示,因此建立了图书馆管理预测问题的Petri网模型,并进行了分析,为采用合理的管理策略提供理论依据。     

混流制造系统的Petri网建模与仿真研究

以赋时Petri网为分析工具,将混流制造系统工艺流程、产品类型标识、缓冲区和加工时间等用基本Pe-tri网语言表示,建立了基于赋时库所Petri网的混流制造系统模型,从全局观点描述事件之间的顺序、并发和同步等关系,并基于该模型,进一步分析混流制造系统的性能,包括操作间的逻辑约束关系、资源冲突、生产能力和设备利用率等。相关实例的仿真结果证明了该模型的有效性。