一种网络服务自动部署方法

为满足网络服务使用者对网络服务部署的功能性和非功能性需求,运用Petri网的方法进行了互联网动态多变环境下的网络服务自动部署的研究,建立了一种基于Petri网的网络服务部署网模型,从形式化的角度描述了网络服务功能的部署情况,提出了一种按照服务质量来选择最优网络服务部署的算法。仿真的结果表明,与目前常用的固定部署算法和随机部署算法相比,按照该方法得到的网络服务部署能最好地满足服务使用者对服务的非功能性方面的需求。     

媒体同步关系的描述

由于多媒体信息系统中，需要集成各种数据类型，而这些数据类型又有着密切的时间关系，所以对于多媒体来说，同步问题是很重要的，而同步的基础是为同步关系建立一个独立于实现环境的抽象的表示模型，本文着重讨论几种描述媒体同步关系的模型。     

集成基础结构中应用服务器的研究与开发

通过对集成基础结构中应用服务器的功能需求分析，采用面向对象方法、矩阵理论和Ｐｅｔｒｉ网技术研究了应用服务器系统的实现策略，并依据智能工程理论给出了应用服务器的系统结构。     

CIMS软件开发工具：Petri网编辑器的语法分析及其实现

本文给出并发表达式语言的文法，并描述了Petri网编辑器的语法分析过程和中间代码的产生过程。解决了Petri网在计算机中的存贮结构问题，处理了可能会出现的重名变量，实现了从井发表达式语言到安全标号的Petri网的转换工作。     

A process-control and diagnostic tool based on continuous fuzzy Petri nets

The use of Petri nets and fuzzy logic in intelligent process control has caught the attention of many researchers. In this paper, a Continuous Fuzzy Petri Net (CFPN) tool which integrates the three technologies of fuzzy control, Petri nets and real-time expert systems is presented. The CFPN approach can deal with real-time continuous inferencing, for the purpose of process monitoring and diagnostics, at a high level in the presence of uncertainty. This tool has been implemented in the G2 real-time expert-system environment and is currently being used by ESSO Canada.     

An exercise in structural congruence

Milner's structural congruence is decidable for the pi-calculus without restriction, in exponential space.     

Modelling of induced aeration in turbine aerators by use of radial basis function neural networks

Gas induction in agitated vessels with turbine impellers can be modelled accurately by means of radial basis function neural nets. The results obtained with the radial basis neural net were significantly better than those obtained by multivariate regression models or standard back propagation neural nets. Moreover, by using the radial basis function neural net model, it was possible to conduct a sensitivity analysis of the variables affecting aeration. Increased medium density showed a strong adverse effect, while variation of the viscosity can cause an increase or a decrease in the rate of aeration, depending on the prevailing process conditions.     

功能确定的离散并发系统的Petri网规范设计方法

本文提出概念模型的概念，作为实际问题到Ｐｅｔｒｉ网模型的桥梁，也就是系统的规格说明，概念模型包括功能图，资源图和约束集三部分，由此将系统设计中的功能与环境严格区分开，给出实际问题到概念模型，以及概念模型到Ｐｅｔｒｉ网模型的转换算法，从而构成一个面向功能的系统的Ｐｅｔｒｉ网规范设计方法，通过一制造系统的建模，说明了该方法的规范性和有效性。     

基于受控时间Petri网的车辆检测过程模型

针对汽车检测线运行效率评估及确保给定数量车辆检测时间最短的问题,通过分析检测过程中的驱动事件和状态演变,给出了车辆调度的约束条件,在此基础上把模型中的时间约束与受控Petri网相结合,提出了受控时间Petri网（Controlled Time Petri Nets）模型,采用该模型对检测线调度过程中的节拍控制与车辆调度进行可视化的建模与分析。实践表明对于多批次车辆检测任务采用该过程模型可明显缩短检测时间。