基于面向对象技术的代数Petri网模型的研究

为了提高软件工程中可视化编程的开发效率,提出了一种基于面向对象技术的代数Petri网的模型.该方法可以有效地减少开发人员的学习时间,提高软件系统的健壮性和开发效率.     

关于Petri网的代数结构

Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法.     

关于Petri网的代数结构

Petri网的研究通常利用网的几何结构.这样的结构不利于用计算机实现Petri网的计算工作.提出Petri网的代数结构.文中给出Petri网的代数定义,以及有关的概念的代数定义.Petri网的代数结构为Petri网的研究提供一种新的方法.     

关于单纯Petri网的全进程

引入了单纯Petri网的概念,设∑=(S,T;F,M_0)是可逆有界Petri网,已证明可逆有界Petri网可由几个单纯Petri网连接得到.因此,为了讨论可逆有界Petri网的全进程就有必要研究单纯Petri网的结构和全进程,并证明单纯Petri网的结构由其可达标识链决定,为进一步认知单纯Petri网的全进程提供新思路.     

关于有界Petri网的全进程研究

由于Petri网的满进程只能刻画Petri网的一段运行,因此只能计算一部分可达标识,为了能够计算一个Petri网的全部可达标识,理论界提出进程表达式和进程网的方法.文中引入全进程Petri网的概念,目的是使Petri每一个标识都在全进程中得到计算,从而提供了一种计算标识的简便方法,避免利用进程表达式计算所有标识时需要的复杂计算,证明了一类可逆的有界Petri网(M0网)是全进程Petri网.     

一类s-组合Petri网模型及其结构分析研究

基于Petri网模型建立了一类串行加工系统的s-组合Petri网模型。通过引入潜在死锁圈概念对s-组合Petri网结构性质进行分析，给出了系统死锁存在的充分必要条件。     

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

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

一种基于Petri网的工作流过程模型正确性的有效验证方法

随着工作流应用的日益广泛 ,工作流模型正确性验证的重要性日渐突出 .论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误 ,给出了一个有效的验证算法     

基于Petri网的工作流模型设计

产品开发过程的建模、分析与优化是支持企业开发新产品的重要基础，而Petri网是一种行之有效的模型描述语言、论述利用Petri网建立面向企业新产品开发过程的工作流模型，并对其进行简化、     

用Petri网描述进程的死锁

死锁是操作系统的一个重要概念,本文提出用库所/变迁网直观、动态地描述并发进程的死锁,本人将这一方法用于操作系统有关死锁内容的教学取得了非常好的效果.     

舰艇指控系统的有色Petri网模型

提出了一种包含外部环境成分的舰艇指控系统分析模型,它能真实的反映战场态势。用有色Petri网(CPN)的层次结构对该模型进行了描述,获得了舰艇指控系统的CPN模型。讨论了该CPN模型中一个子页一传感器子模型的建立、组成、与主页的关系及模型的运行过程,结果可用于舰艇指控系统组织结构的设计与性能分析。     

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

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

基于扩展Petri网的工作流模型及实现

本文首先介绍了工作流的概念,接着分析概括了工作流的几种主要拓朴结构,并给出了基于扩展Petri网的工作流模型描述及其实现框架。     

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

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

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

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

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

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

基于Petri网的科研项目管理工作流模型的建立与验证

本文面向高职校科研项目的管理问题,在给出项目管理过程的工作流模型的基础上,建立了基于Petri网的科研项目管理工作流模型,运用W.M.P van derAalst的工作流网完整性定义及模型化简方法,实现了对该模型正确性和有效性的验证。     

一种基于扩展Petri网的采购业务工作流结构分析方法

在简述 Petri 网及工作流的基础上,讨论通过扩展 Petri 网的关联矩阵方法对工作流网进行可靠性分析的思路。针对传统企业采购业务流程中存在的问题,结合案例说明运用扩展 Petri 网对采购业务工作流进行结构分析的实现方法。     

基于Petri网的加工中心系统建模与仿真

介绍Petri网的基本理论，利用它对某车间加工中心系统生产过程建立模型，反应整个系统的加工动态特性，用ARENA7．0语言进行仿真研究，分析系统资源配置的合理性、高效性，提出更实际、更完整、更复杂的制造自动化未统的建模与仿真要求。     

基于进程代数的系统性能评价方法综述

现代通信网络系统中大量存在的各种并发同步事件,使得系统的性能特征与其功能特征密切相关,该类系统进行性能评价时,需要综合其性能模型与功能模型进行分析。由于进程代数具备功能推导和验证能力,通过有效扩展,融合相应的性能参数,可以成为理想的针对并发系统的性能建模工具。综述了进程代数的发展历史,并总结了将进程代数应用于性能评价的有效扩展方法,通过实例论述了进程代数应用于性能评价的一般过程。最后,讨论了基于进程代数的系统性能评价方法的发展趋势。