Petri网可达树的构造与实现.doc

Pe tr i 网可达树的构造与实现 唐培和 (广西工学院计算机工程系, 广西 柳州 545006) 摘 要: 讨论了 P e t r i 网可达树的构造方法, 给出了相应的算法和实现技术, 对基于 P e t r i 网可达树的并发系统的动 态性能分析具有一定的参考价值。 关 键 词: P e t r i 网; 可达树; 算法 中图分类号: T P 311156 文献标识码: A 引言 P e t r i 网是由 C 1A 1P e t r i 博士于 1962 年提出的1 , 四十年来已得到很大发展。 作为一种数学模型, P e t r i 0 网系统具有很强的描述能力, 它以一致的、精确的方式, 刻划系统中的信息传输和变换, 能方便地描述并发、 冲突、异步等实际系统中常见的现象。P e t r i 网系统通过网结构来刻划系统的静态特性; 通过初始标识( In it ia l M a rk in g) 和运行规则来刻划系统的动态特性。 可达树 (R each ab ility T ree) 用以描述 P e t r i 网的可达 ( 标识) 集, 它既和 P e t r i 网的结构有关, 也和 P e t r i 网的初始标识有关。通过分析 P e t r i 网的可达树, 可了解 P e t r i 网的许多重要性质, 如有界性 (Bo u n dedn e ss)、 安 全性 ( Safen e ss)、守恒性 (Co n se rva t iven e ss)、可达性 (R each ab ility )、覆盖性 (Co ve rab ility ) , 甚至死锁 (D ead lo ck ) 和活性 (L iven e ss) 等。 P e t r i 网及其可达集 为便于问题的讨论, 这里先给出几个相关的基本概念2 。 【定义 1】 P e t r i 网 C 是一个五元组, C = P , T , I , O , u 0 。其中: 1 ① P = {p i | i = 1, 2, 1111, n; n ≥ 0}, 为位置 (P lace) 的非空有限集合。 ②T = 1, 2, 1111, m ; m ≥ 0}, 为转移 (T ran sit io n ) 的非空有限集合。 { tj | j = ③I , O : T → P ∞, 为输入输出函数, 它们是从转移到位置袋的一个映射。 ④u 0: P →N , 为初始标识 (N 是非负整数集)。 并且满足: P ∩ T = 5 , P ∪ T ≠ 5。 P e t r i 网的运行由网中标记 (T o k en ) 的数目和分布情况来控制。转移启动 (F ir ing) 时, 从它的各个输入位 置中移走标记, 而将新产生的标记分配到它的各个输出位置中。 标识 (M a rk in g) 描述了 P e t r i 网的状态, P e t r i 网的状态空间是所有的可达标识的集合。启动一个转移所 引起的状态的变化, 可用一个状态函数来表示。 【定义 2】 对于 P e t r i 网C = P , T , I , O , 和 t ∈ T , 当且仅当对任一 p ∈ P 都有: u (p ) ≥ # (p , u 0 I ( t) ) 时, 其状态函数 ?: N n × T →N n 才有定义, 且: 收稿日期: 2002209201 基金项目: 广西区科技厅自然科学基金( 桂科自 0066006) 资助。 作者简介: 唐培和( 19642) , 广西全州人, 广西工学院计算机工程系副教授。  = u ′ I ( t) ) + # (p , O ( t) ) u 2 , 11111) 和转移的启动序列 ( t1 , t2 , t3 , 1111)。这两 ?(u , t) u ′(p ) = u (p ) - # (p , 其中: P e t r i 网的运行将产生两个序列: 标识序列 (u 0 , u 1 , 个序列可能是无穷的, 它们之间的关系为: ?(u k , tk + 1 ) u k + 1 , 其中 k = 0, 1, 2, 11111 = 【定义 3】 对于 P e t r i 网 C = P , T , I , O , 识集合: ①u 0 ∈ R (C , u 0 ) ; u 0 , 其可达集 R (C , u 0 ) 定义为满足下面两点的最小标 ② 如果 u ′∈ R (C , u 0 ) , 并且存在某个转移 t, 使得 u = ?(u ′, t) , 则: u ∈ R (C , u 0 )。