Petri网的依赖关系

为了分析变迁不处于公平关系或弱公平关系时在运行中的依赖关系,本文提出了公平依赖和弱公平依赖的概念。研究了伪可重复向量的性质及在判断公平依赖关系时起的作用。给出了判断变迁处于公平依赖关系和弱公平依赖关系的充分必要条件。     

Pstri网的公平依赖关系

Petri网是对系统进行模拟与分析的有效工具。公平性是Petri网的重要性质之一,体现了系统中变迁在运行时紧密的相互依赖关系。然而在许多情况下,这种依赖关系是单向的,这些变迁也不处于公平关系。因此,在对一些实际系统进行模拟和分析时,清楚各个环节之间的相互依赖关系十分重要。通过对依赖关系的分析,我们可以清楚决定各个环节运行的条件,也可以     

基于Petri网的Web数据库访问的建模研究

本文针对用户访问Web数据库的过程进行了分析并提出改进思路，然后利用带抑止弧的扩充Petri网对改进后的访问过程进行建模。     

基于Petri网的信息系统建模及性能分析

采用基于Petri网的信息系统建模技术,对一实际系统进行建模,并利用Petri网严谨的数学分析理论对所建信息系统模型的性能进行了描述和分析。     

使用控制授权模型的Petri网描述

使用控制是最有希望的下一代数字资源使用保护技术,Petri网能够描述使用控制模型的分布、并发、同步等特征,是表达和研究使用控制模型的有效技术。该文定义了使用前授权过程和使用中授权过程的策略规则,采用Petri网进行了表达,分析了Petri网模型能够表达授权控制模型的使用授权策略,给出了使用控制授权模型的有色Petri网表示。     

实时Petri网及其在任务可调度性分析中的应用

本文描述了一种实时任务可调度性分析工具－实时Petri网,给出了由数据流图向实时Petri网转化的方法,介绍了应用实时Petri网进行可调度性分析折步骤,最后讨论了不可调度的情形和处理方法。     

Petri网中的广义公平关系

在吴折辉等提出的公平性和王培良等提出的弱公平性概念的基础上,提出了Ｐｅｔｒｉ网中的广义公平关系,同公平关系和弱公平关系比起来,广泛公平关系的概念更符合计算科学对公平性的传统理解,文中讨论了存在准公平关系的可重复网结构,并在此基础上给出了菊花链式握手协议的一个Ｐｅｔｒｉ网模型。     

随机Petri网在性能分析中的应用

本文介绍一种随机Ｐｅｔｒｉ网及其在性能分析中的应用，这种网的可达图同构于马尔柯夫链，从而可依据马氏理论求解一些性能指标。     

Petri网及ExSpect在任务可靠性仿真中的应用

任务可靠性的仿真方法有多种,这些方法由于系统的复杂性均存在某些方面的局限。本文首先介绍了任务可靠性的基本概念和一种新的用于任务可靠性仿真的方法-基本Petri网理论。并详细分析和比较了Petri网理论与其他仿真方法的优点和不足之处。随后介绍以Petri网理论为基础的仿真软件-ExSpect的发展、组成及其语言特点。最后,列举当前已成功应用的五个仿真实例来验证ExSpect仿真软件在任务可靠性仿真方面的适用性。     

A Generalized Timed Petri Net Model for Performance Analysis

We have developed a Generalized Timed Petri Net (GTPN) model for evaluating the performance of computer systems. Our model is a generalization of the TPN model proposed by Zuberek [1] and extended by Razouk and Phelps [2]. In this paper, we define the GTPN model and present how performance estimates are obtained from the GTPN. We demonstrate the use of our automated GTPN analysis techniques on the dining philosophers example. This example violates restrictions made in the earlier TPN models. Finally, we compare the GTPN to the stochastic Petri net (SPN) models. We show that the GTPN model has capabilities for modeling and analyzing parallel systems lacking in existing SPN models. The GTPN provides an efficient, easily used method of obtaining accurate performance estimates for models of computer systems which include both deterministic and geometric holding times.     

基于着色时间Petri网的工作流模型及其性能分析

为了将着色时间Petri网的并行式工作流模型应用于产品数据管理系统,在工作流建模阶段对工作流的静态和动态结构性能加以分析.采用活动扫描法作为工作流系统行为的仿真策略,研究了工作流模型到着色时间工作流网模型的转换过程.给出了用可达图检验工作流程中是否存在死锁和陷阱的判定定理.以一种循环组件的或分支跳出并行流程的审批工作流为例,对论述的定理和方法进行了分析和验证.     

一种基于时间Petri网的工作流模型

面向任务流和资源流并行的业务过程,讨论了一类如何通过资源流控制任务流的工作流建模问题.在时间Petri网的基础上提出了一种称作资源/任务网(R/T-net)的工作流概念模型,并给出了基于R/T-net的工作流建模过程.设置在任务模型中的资源依赖和资源期望可以有效地实现资源流对任务流的控制,而其中的资源点火规则和资源路由规则可以灵活地实现资源的协调、同步、分配和传递,因此,比仅用时间属性刻画任务转移的时间Petri网模型更符合诸如办公、制造、物流运输等业务过程.     

交通点播服务的时间颜色Petri网模型及分析

随着交通信息网格系统的推广应用,系统用户越来越多,原有系统配置已不能满足实际用户需求。本文建立了交通信息网格系统提供的主要服务-点播服务处理过程的时间颜色Petri网模型,通过模拟增加用户量和点播处理进程数,分析点播请求响应时间的变化,为系统配置扩容提供了有益的参考。     

基于赋时有色petri网的维修过程模型

维修过程模型是研究维修保障系统结构与运行的基础。petri网模型具有直观、形象的优点,又是严格定义的数学对象,既可用于静态的结构分析,又可用于动态的行为分析,具有灵活的建模和强大的系统性能分析能力,是描述维修过程的有力工具。该文介绍了petri网方法的有关概念、特性。假定了典型的维修资源配置环境,对维修资源进行了分类。描述了典型的维修过程,应用赋时着色Petri网建立了维修过程的petri网模型。文章最后讨论了模型的应用。     

一种新型Petri Net:双层变迁定时Petri Net

嵌入式系统的设计尤其是复杂嵌入式系统的设计，需要对系统的稳定性、可靠性等进行分析，进而对系统进行设计优化。这首先需要对系统建立适当的模型进行仿真分析，该文在深入分析现有Petri Net的基础上，构建了一种适合于嵌入式系统建模的新型Petri Net。     

化工间歇过程的时间Petri网模型和优化控制

针对化工间歇生产过程的特点及优化问题，本文提出用时间Ｐｅｔｒｉ网对过程建模，用动态规化方法对过程实行优化控制，并研究了该优化策略下的算法和控制设计问题。     

基于时延Petri网的密码协议分析及性能评估

形式化分析方法由于其精炼、简洁和无二义性逐步成为分析密码协议的一条可靠和准确的途径，但是密码协议的形式化分析研究目前还不够深入，针对这一现状，该文提出用时延Petri网来表示和分析密码协议。该模型不但能够反映协议的静态和动态的特性，而且能够对密码协议进行时间、空间上的性能评估。作为实例，文章对MSR无线协议作了详细的形式分析和性能评估。最后，与其它形式化分析密码协议的方法作了比较。     

双层变迁定时Petri Net抽象化

该文对双层变迁定时PetriNet进行了抽象化，抽象化的双层变迁定时PetriNet可用于嵌入式系统设计过程的中间态模拟。