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

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

基于模糊Petri网的服务发现框架研究

现有的主流服务发现方法不支持模糊逻辑推理，无法处理软计算语义，从而缺乏灵活性．为了弥补人类可理解的软计算逻辑和机器能够识别的硬逻辑的差异，提出了面向服务基于模糊Petri网的Multi-Agent服务发现框架．为支持这一框架。设计了一种模糊Petri网服务描述语言，其主要特点是变迁表示一个服务或者请求；变迁的输入库所表示服务执行前应满足的条件，变迁的输出库所表示只有在所需争件满足的情况下服务才能成功执行．变迁相关的CF值（certainty factor value）表示服务消费者对Agent所提供服务的置信度．其次，提出了支持软计算语义的松弛匹配机制，并且给出了模糊松弛匹配算法；借助于本体库（类库），通过计算命题的真实度，在不精确模糊信息情况下，可以实现服务和请求的模糊松弛匹配．     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。     

Petri网化简规则在系统中的实现

Petri网是分析系统的一种很好的数学和图形工具。网的复杂性随着网中可达状态和变迁数目的增加而大大增加。这就使得对一个复杂网分析的难度不易控制。对此,提出了化简的思想,降低复杂度后再分析。文章将化简规则转化成算法,并在实际系统中实现。     

PN机

本文提出PN机的几种范式,讨论它们的串语言与步语言之间的关系,提出拟行为有限状态机概念,给出PN语言的一个拟正规性刻划,从而表明一般Petri网模型的局限性,以及引入PN机模型的必要性.本文结果对于PN机理论框架的建立起到奠基作用.     

基于行为表达式的任意随机Petri网的品质分析

提出一种基于行为表达式的品质分析方法,可以做任意分布的有界或无界随机 Petri网的品质分析.该方法不仅拓广了分析范围,解决了文献[4]中没有解决的问题,而且 不必画出Petri网的可达标识图,使分析过程更为简洁.     

OGSA安全体系及其在GT3中的实现

在分析了网格计算环境的特点后，用扩展的P^2DR网络安全模型对网格安全进行了模型分析，总结出了网格安全的特点及实现目标，介绍了OGSA下的安全体系及其在Globus Toolkit3中的实现。     

基于Petri网的IC制造调度优化

论文根据IC制造中存在的多制造路径、资源共享、可变晶片组及并发等特点,结合增强定时Petri网,提出了一种调度优化算法。该算法无论是对典型的Job-Shop问题,还是比此更复杂的问题,都能给出确实有效的优化结果,具有一定的通用性。该算法还具有较高的运行效率,文中的实验结果也充分显示了这点。     

Petri网的广义笛积运算（II）

本文提出Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。