一个支持软件并行工程的过程模型

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。分析了存在于软件生存周期中的两类不同层次的并行性能提出了一个基于Ｐｅｔｒｉ网的支持软件并行工程的软件过程模型ＳＤＤＭ，给出了将软件过程内部的局部并行性延拓到该过程全局的方法。     

基于Petri网的离散事件仿真算法

本文介绍了一种基于Ｐｅｔｒｉ网的模型描述语言ＥＰＤＬ，并给出了Ｐｅｔｒｉ网与离散事件系统仿真相结合的算法。     

MPP系统模型化的广义随机Petri网技术

本文提出一种模型化海量并行处理（ＭＰＰ）系统的广义随机Ｐｅｔｒｉ网技术ＧＳＰＮ。首先，通过外延优先权标记Ｐｅｔｒｉ网，提出了ＧＳＰＮ的定义、时序规范、变迁激光规则和计算公式。然后，讨论使用ＧＳＰＮ模型化ＭＰＰ系统的技术途径和实现方案，分别阐述了ＧＳＰＮ形式化描述共享存储器方式和信息传递方式ＭＰＰ系统的有效怀，并给出了实例。此外，我们还分析和提出了ＣＳＰ（通信顺序进程）理论中主要进程与Ｐｅｔｒｉ网之     

一个支持软件并行工程的过程建模语言

实施软件并行工程是缩短软件开发周期、加快软件开发速度的有效途径。文中讨论了软件并行工程对过程建模语言的要求,给出了一个支持软件并行工程的形式化过程建模语言ＳＤＤＭＬ和基于ＳＤＤＭＬ的过程建模方法。ＳＤＤＭＬ基于Ｐｅｔｒｉ网,具有面向对象的特征,可表示不同抽象级的过程模型,支持逐步求精的过程建模方法,为软件并行工程软件过程的控制、分析、评估和优化奠定了基础。     

Petri网与软件工程环境

本文以ＳＰＡＤＥ－１环境为例，探讨了Ｐｅｔｒｉ网在软件工程环境中的作用。     

离散事件系统的协调反馈控制

本文探讨以Ｐｅｔｒｉ网为模型的离散事件系统（ＤＥＳ）的某种禁止状态避免问题，提出了以Ｐｅｔｒｉ网Ｎ为基网，设计具有外部输入位置Ｐｅｔｒｉ网（ＰＮＩＰ），对Ｎ进行协调反馈控制的方法。由Ｎ现行状态反馈决定的ＰＮＩＰ的控制状态，既保证Ｎ避免禁止状态，又使Ｎ具有最大自由度。     

一个基于Petri网的软件并行开发控制模型

软件开发活动的并行化是缩短软件开发周期、加快软件开发速度的有效途径。本文提出了一个基于Ｐｅｔｒｉ网的支持软件并行开发的并行控制模型ＣＣＭ及其构造方法，从而为实现软件并行开发的有效控制和开发相应的ＣＡＳＥ系统奠定了基础。     

OMGTrader服务的软件过程模型

软件分产品和过程两方面，过程模型在软件开发中有重要的应用价值。结合面向对象开发方法学和工具，提出一种软件过程的Ｐｅｔｒｉ网模型。该模型适合描工发中不断变化和不完整的过程，在ＯＭＧＴｒａｄｅｒ服务的开发过程中取得很好的效果。     

双总线结构工业控制计算机网性能指标评估

本文对双总线结构工业控制计算机网给出了其Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网的建模及性能指标评估方法。文中考虑了信包缓冲区容量有限、信包最大允许服务时间有限、不同的站点优先级和系统总线故障率等因素影响下的网络性能指标评估问题。克服了以往对网络性能评估的某些局限。本文讨论了带计数禁止弧的高级随机Ｐｅｔｒｉ网（ＨＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论。     

双总线结构工业控制计算机网性能指标评估

本文对双总线结构工业控制计算机网给出了其Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ的建模及性能指标评估方法，文中考虑了信包缓冲区容量有限、信包最大允许服务时间有限，不同的站点优先级和系统总线的故障率。等因素影响下的网络性能指评估问题，克服了以往对网络性能评估的某些局限。本文讨论了带计数禁止弧的高级随机Ｐｅｔｒｉ网（ＨＤＳＰＮ）的特性， 并对同的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行了讨论。     

AlphaAXP层次软件产品

本文介绍了可以在ＯｐｅｎＶＭＳ ＡＸＰ和ＤＥＣ ＯＳＴ／Ｉ １．２版的系统中实现的各种层次软件的应用，Ａｌｐｈａ ＡＸＰ系统上完整的ＣＯＨＥＳＩＯＮ软件开发环境；用于建立数据密集应用的全套数据产品。     

浅谈船舶CAD软件开发的几个问题

就船舶ＣＡＤ软件的现状与开发工发工作提出了一些看法，内容包括：船型ＣＡＤ软件的现状、ＮＵＲＢＳ方法的提出与国内外应用现状、国内船舶ＣＡＤ软件开发工作中存在的问题、在船舶ＣＡＤ软件开发过程中应注意引进各种先进的计算机技术。     

一种用于柔性制造系统仿真的图形Petri网软件工具

本文致力于图形Ｐｅｔｒｉ网软件工具—ＧＰＮＳＴ软件包的设计与实现。首先介绍了ＧＰＮＳＴ的结构和功能，分析了它在Ｐｅｔｒｉ网图形编辑和网结构分析方面的能力；其次正式定义了Ｐｅｔｒｉ网的扩展—赋时着色Ｐｅｔｒｉ网（ＴＣＰＮ），并且使用ＴＣＰＮ建立了柔性制造系统（ＦＭＳ）的简化仿真模型。利用这个模型，能基本实现ＦＭＳ的动态仿真，同时显示整个仿真的过程；最后将调度算法、启发式规则、ＴＣＰＮ模型和仿真结合起来，构成一个基于专家系统的调度器，产生出虽非最优，但是具有比较好结果的可行调度，有效地解决了动态仿真中的ＦＭＳ调度问题。     

模糊Petri网的反馈控制研究

本文首先将模拟技术应用于Ｐｅｔｒｉ网中，得到模糊Ｐｅｔｒｉ网模型，然后基于Ｐｅｔｒｉ网中的库所湾量的概念，在普通Ｐｅｔｒｉ网的反馈控制基础上提出了一种模型Ｐｅｔｒｉ网的反馈控制方法。该方法使得对复杂系统的模糊Ｐｅｔｒｉ多控制器的系统设计成为可能。     

基于对象Petri网的离散事件系统建模仿真环境(OPMSE)

首先论述了Ｐｅｔｒｉ网和高级Ｐｅｔｒｉ网发展状况,提出了一种高级Ｐｅｔｒｉ网,即对象Ｐｅｔｒｉ网。然后介绍了基于对象Ｐｅｔｒｉ网的离散事件系统建模仿真环境ＯＰＭＳＥ。文中详细介绍了ＯＰＭＳＥ的特点与组成,并对ＯＰＭＳＥ的核心－对象Ｐｅｔｒｉ网（ＯＰＮ）的语法描述进行了重点介绍。     

容错型令牌总线局域网建模及性能指标评估

本文对符合ＩＥＥＥ８０２．４标准的容错型令牌总线局域网给出了其Ｐｅｔｒｉ网建模及性能指标评估方法。文中考虑了具有信包重发机制、令牌最大保持时间和信包缓冲区容量有限的令牌网络的性能指标评估问题。克服了以往不能分配具有信包重发机制和令牌最大保持时间等令牌网性能的局域。本文讨论了带计数禁止弧的确定性时延随机Ｐｅｔｒｉ网（ＤＳＰＮ）的特性，并对给出的ＤＳＰＮ模型进行了仿真计算，对影响网络性能的系统指标进行     

基于混合法的叶片FMS控制系统研究

本文基于Ｐｅｔｒｉ网建模的混合法，建立了叶片ＦＭＳ控制系统活的、安全和可逆的Ｐｅｔｒｉ网模型，应用该模型开发了叶片ＦＭＳ控制系统仿真器，可成功地避免叶片ＦＭＳ的死锁产生。     

超媒体同步模型研究

本文以Ｄｘｔｅｒ超文本参考模型为标准,吸收了Ａｍｓｔｅｒｄａｍ超媒体和Ｔｒｅｌｌｉｓ模型的优点,将所提出的分布多媒体同步Ｐｅｔｒｉ网模型扩展到超媒体,即提出一种分布超媒体同步Ｐｅｔｒｉ网模型。该模型可较好地解决分布超媒体系统中超链、对象同步和用户交互三个关键问题。     

基于QFD的软件质量保证模型

本文将ＱＦＤ应用到软件开发中，提出了一种软件的质量保证模型，并给出了应用实例。     

辅助软件开发工具DTOOL的设计及其应用

本文提出了一种面向屏幕的辅助软件工具ＤＴＯＯＬ的总体结构，主要功能、实现方法、生成机制、开放效益及在ＤＴＯＯＬ环境下开发ＭＩＳ时有关应用系统概念模式的建立步骤，本文重点讨论在ＤＦＤ及功能分解后如何进一步的建立ＩＤＳ及ＴＤＳ并最终地产生一棵面向屏幕设计的结构构树，这种开发思路将有助于一切其它面向屏幕的软件工具环境下对ＭＩＳ开发的概念模式的描述，这将大大提高软件开发效率，改善开发和维护性能。