基于Petri网的工作流建模研究

工作流技术正在成为计算机应用领域的研究热点。Petri网以其简洁、直观、潜在模拟能力强等特点被广泛用于用于工作流模型的建立。本文在介绍工作流和Petri网基本概念的基础上,给出了使用Petri网建立工作流的模型。     

基于Petri网的工作流模型的合理性验证

首先根据现实世界中的工作流正确性的概念,给出工作流网正确性的形式化描述,并给出工作流模型的合理性的定义,最后提出基于可达数的合理性验证算法,从而快速完成工作流模型的分析与验证。     

模糊Petri网在军用信息系统效能分析中的应用

军用信息系统安全是军事通信研究的一个关键问题，也是保障国家信息安全能力的重要组成部分。依据军用信息各项指标要求，运用模糊Petri网的原理，结合层次分析法，对军用信息系统性能采取定量和定性相结合、以定量为主的分析方法进行评价。仿真实例对某军用信息系统效能进行了评价，结果表明，该方法简单、实用。     

基于Petri网的Web服务组合化简方法的研究

指出一种基于Petri网的Web服务组合的化简方法,此方法包括建模和化简两个阶段。首先,Petri网结合工作流模式建模Web服务组合:然后通过Petri网的三种性质(可达性,安全性以及死锁)定义出Web服务组合结构,最后运用流程化简规则化简Web服务组合。     

基于时间-有色Petri网的电梯系统的建模与分析

根据时间Petri网和有色Petri网的知识，提出了基于时间-有色Petri网（TCPN）的电梯运行模型。依据此模型将电梯在每层的运行情况分类说明。电梯如何运行是由控制命令统一调度，控制命令是由与电梯运行状态相应的颜色集组成。最后举例说明此模型可在单台电梯控制系统和电梯群控系统中应用。     

高级Petri网及FMS的动态建模和仿真

给出了一种柔性制造系统模型，它能模仿和跟踪车间中散件调度计划的执行过程。模型由一类新的高级Ｐｅｔｒｉ网组成，它定义了着色令牌，时化变迁和谓词变迁，抽象了物理对象的主要属性和它们间的基本关联。通过数据库描述令牌属性，规则库描述变迁，构成了一种结构紧凑，信息丰富，可反映多个工作进程的高级Ｐｅｔｒｉ网模型。     

基于时间Petri网的建模与分析

介绍一种Petri网——时间Petri(TPN)。用时间Petri网表示工作流模型并对基本工作流模型进行时序分析,给出线性时间推理的规则,运用这些规则,可对复杂的工作流模型进行逐步化简,并在线性时间复杂度内解决时间推理问题。     

支持敏捷供应链重构的模块化Petri网建模与分析

建立了敏捷供应链重构的过程框架，将敏捷供应链的重构分为结构重构和运行策略重构两个方面，结构重构主要是有关供应链节点的选择与评价过程，策略重构是在供应链结构形式以后，对其各节点的库存，物流、供货等策略的控制，在结构重构中采用模块化的Petri网建模方法进行分析，并以一虚拟的供应链为例进行仿真     

信任协商策略的Petri网建模分析方法

对Peer-to-Peer网络环境下信任协商和信任协商策略进行了定义和形式化描述,提出了一种基于Petri网模型的信任协商策略建模分析方法,将资源、证书和资源访问策略映射为Petri网网元进行建模,通过可达分析寻找最优资源解锁序列.和其他信任协商策略建模方法相比,该方法具有较好的性能.     

工作流引擎在信息系统中的应用初探

通过分析信息系统中的工作流应用框架,以工作流引擎为主要切入点,分析其在工作流设计中的核心作用,探讨其在信息系统的具体应用。     

基于赋时Petri网的成组生产单元缓冲区建模

以CD造船厂的某成组生产单元为研究对象,在对不同功能和结构的在制品缓冲区进行分类的基础上,建立了该生产单元的扩展赋时库所Petri网模型;将此Petri网映射为eM-Plant软件中的仿真模型,通过对在制品缓冲区库存量仿真数据的监控和分析,讨论了该成组生产单元的瓶颈环节、设备的负荷状况、零件排序调度的优化与否以及生产的连续性和稳定性.     

Simulation and analysis of reconfigurable assembly systems based on R-TNCES

ABSTRACT

Recent research indicates that dynamic reconfiguration techniques can be applied to manufacturing systems to reduce energy consumption by switching energy-intensive components in a timely manner between their working and idle modes during system runtime because these components consume less energy in their idle modes than in their working modes. The current work studies reconfigurable assembly systems with such dynamic reconfiguration techniques by abstracting them as reconfigurable discrete event systems, considering only their logic behavior and properties. The formalism, R-TNCES (reconfigurable timed net condition/event systems), a modular extension of the well-known Petri nets, is used as a system modeling and analysis tool. The simulation of system global reconfigurations is guided by command inserting, whereas the simulation of local reconfigurations is automatic because their execution time is computed a priori by a proposed algorithm. Finally, qualitative properties specified by computation tree logic and quantitative analysis regarding energy-efficiency are performed by using the software SESA.     

基于时序逻辑的工作流建模与分析方法

提出了一种基于活动时序逻辑(TLA)的工作流建模与模型分析的形式化方法.该方法将模型及模型的性质都表示为一个TLA公式,对工作流模型性质的分析可以等价为对TLA中两个公式之间是否存在蕴涵关系的检验,从而建立了一个工作流模型各层次分析统一框架.一个工作流建模和分析的实例验证了所提出方法的有效性,该方法在建模、模型分析以及指导模型设计等方面都有较好的应用前景.     

一种基于Petri网的网络服务兼容性分析方法

针对目前基于网络服务业务过程执行语言(BPEL)的网络服务合成方法缺乏网络服务的兼容性分析机制,不能保证基于网络服务技术的业务过程正确执行的问题,建立了一种能从形式化的角度描述网络服务的接口交互情况的基于Petri网的多元工作流组合网模型,提出了一种能更快地获得网络服务可用性结果的网络服务兼容性判断算法.最后,提出了基于该算法的原型系统架构.     

基于Petri网的可信连接架构的安全属性分析

为确保可信连接架构(TCA)自身的安全可靠,研究了其安全属性量化问题,分析了其双向用户身份认证和平台认证过程中存在的安全威胁.利用随机Petri网对带有攻击行为的TCA可信网络连接过程进行了建模,该模型用于描述攻击行为和TCA的双向认证过程.以该模型为基础构造了马尔科夫链,通过计算马尔科夫模型的稳定状态概率对TCA的稳定状态机密性和完整性等安全属性进行定量分析.最后给出了一个具体数值评估结果的实例.此研究给出的方法有理论和实用意义.     

On deadlock control for a class of generalised Petri net models of flexible manufacturing systems

This paper develops a deadlock prevention policy for a class of Petri nets that can model flexible manufacturing systems with assembly and disassembly operations. Siphons in a plant Petri net model are divided into elementary and dependent siphons according to the linear dependency of their characteristic T-vectors. The proposed approach is to make every siphon satisfy the controlled-siphon property (the cs-property), i.e., at any reachable marking, any siphon is max-marked, so that no deadlock states can be reached. The satisfiability of the cs-property is achieved by explicitly adding a monitor for each elementary siphon. The max-controllability of a dependent siphon is ensured by properly supervising its elementary siphons. More permissive behaviour of the non-blocking supervisor is obtained through the rearrangement of the output arcs of the monitors. Compared with existing policies reported in the literature, the advantage of the present method is that a small number of monitors are added and the iterative computing process is accordingly avoided. Finally, the application of the proposed method to an FMS example is presented.     

基于有色Petri网的产品协同开发过程建模方法研究

产品协同开发过程具有层次性、分布性、离散性和动态性等特点,采用合理方法构建其有效的过程模型成为协同开发过程管理与优化的基础性条件.将有色Petri网(CPN)技术引入产品协同开发过程建模中,针对性地提出了产品协同开发过程CPN模型的描述性定义;并从协同开发特点出发,为支持基本过程逻辑的描述由工作流原语定义了基本网模型结构;为了描述复杂协同关系,结合模块化方法及库所变迁性质给出了扩展网模型结构的构建方法.该方法实现了将协同开发过程关系从基本到复杂都能映射到相应CPN网上,并通过实例进一步说明了该方法的有效性.     

Hierarchical Colored Timed Petri Nets for Maintenance Process Modeling of Civil Aircraft

Civil aircraft maintenance process simulation model is an effective method for analyzing the maintainability of a civil aircraft. First, we present the Hierarchical Colored Timed Petri Nets for maintenance process modeling of civil aircraft. Then, we expound a general method of civil aircraft maintenance activities, determine the maintenance level for decomposition, and propose the methods of describing logic of relations between the maintenance activities based on Petri Net. Finally, a time Colored Petri multi-level network modeling and simulation procedures and steps are given with the maintenance example of the landing gear burst tire of a certain type of aircraft. The feasibility of the method is proved by the example.