可分解非对称选择网的活性和有界性.PDFVIP

1000-9825/2002/13(11)2142-07 ©2002 Journal of Software 软 件 学 报 Vol.13, No.11 可分解非对称选择网的活性和有界性 徐 静, 陆维明 ( 中国科学院 数学与系统科学研究院,北京 100080) E-mail: {xj,wmlu}@ 摘要: 活性和有界性是网系统的重要行为特性.从分解以及尽可能简单分解的角度得到了非对称选择网的一个 子类,可分解非对称选择网( 简称DAC 网),证明了DAC 网系统活性的充分必要条件, 同时给出了DAC 网系统活 性有界性的充分必要条件,也进一步讨论了判定一个Petri 网系统是否是活的有界的DAC 网系统的多项式算法. 关 键 词: Petri 网;非对称选择网;可分解非对称选择网;活性;有界性 中图法分类号: TP301 文献标识码: A 在研究具有异步、并发特征的离散事件系统时,Petri 网是一种广泛使用的数学工具.当用Petri 网来模拟一 个实际系统时,人们主要关心的问题是要确定这个 Petri 网模型是否具有一些所期望的特性,如活性、有界性[1] 等.这些特性刻画了系统的动态行为. 比如,活性反映了被描述系统的整体或局部无死锁,而有界性则反映了系 统无溢出. 要在Petri 网可达图上进行活性判定非常困难,一般是NP 问题,但是在合适的限制下,对某些P/T 网子类的 活性判定已找到了多项式算法. 目前,对状态机、标识图和(扩展) 自由选择网[2~7] 的活性研究已十分成熟,而对非 对称选择网[8~10] 的活性研究也取得了一些好的结果. 我们的目标是寻找尽可能大的Petri 网子类,因为对它们的活性判定有多项式时间算法. 由于对一般非对称 选择网我们猜想不存在多项式算法可以判定其活性[8], 因此我们缩小区域,努力在非对称选择网范围内开展研 究.受系统合成的启发[11~13],本文从分解以及尽可能简单分解的角度得到了符合上述条件的一个AC 网子类(简 称 DAC 网), 以利于从相反方向去合成规模大的网类,并扩展了文献[10]的结果,给出了其系统活性的一个充分 必要条件,证明了这类 AC 网活性满足单调性.最后,我们还给出了这类 AC 网系统活性和有界性判定的多项式 时间算法,从而把对AC 网的研究工作又向前推进了一步. 本文第 1 节给出一些基本概念以及对本文有用的结果.第2 节给出DAC 网的定义,说明它与其他网类的关 系,给出了DAC 网系统活性的充分必要条件.第3 节给出了判定DAC 网的多项式时间算法以及判定DAC 网系 统活性有界性的多项式时间算法.第4 节总结全文. 1 基本概念和性质 由于Petri 网已广泛用于系统建模与系统分析,Petri 网、库所、变迁、前集、后集、Petri 网系统、标识、 子网、纯网、S- 图等概念已深入人心,因此我们只引入对本文十分重要的少数几个定义. ⊆ ⊆ 定义 1.1. 设N=(P ,T ;F )是一个 Petri 网,并有D P ,S P ,D≠∅,S≠∅.D(S)称为一个非空死锁(陷阱), 当且仅当 收稿日期: 2001-01-18; 修改日期: 2001-05-15 基金项目: 国家自然科学基金资助项目; 国家重点基础研究发展规划 973 资助项目(G 1998030416); 中国科学院管 理、决策和信息系统开放实验室(MADIS)资助项目 作者简介: 徐静(1972 －),女,吉林松原人,博士,主要研究领域为Petri 网,算法设计与分析;陆维明(1941 －),男,上海人,研究员,博 士生导师,主要研究领域为Petri 网,软件工程,算法设计与分析. 徐静 等:可分解非对称选择网的活性和有界性 2143 • • • • D⊆D (S ⊆S).死锁D 称为极小的,当且仅当D