petri网课件第1章2.pdf

第二节 基本定义 本节介绍Petri网的基本概念： 1.网：简单网，单纯网，逆网，对偶网，有限网， 连通网，互补库所，伴随库所 2 .网系统：容量函数，标识，权函数,网系统，外 延，发生权，变迁规则 3 .网系统分类：基本网系统 （EN系统），库所/ 变迁网 （P/T 网），库所/变迁系统 （P/T系统） 一、网 定义 1.1 三元组N=(S,T;F)为 有向网(简称网) • ST≠Φ N至少含一个元素 • ST＝Φ 二类不同的元素 • F S×TT×S 有序偶集合 • dom(F)cod(F)＝STN不能有孤立元素 dom(F)={x|y:(x,y)F} X=ST称为N的元素集 cod(F)={x|y:(y,x)F} 或 Net(S,T;F)：ST≠ΦST＝ΦFS×T T×Sdom(F)cod(F)＝ST ：表示 ‘定义为’ 例： T={t1,t2,t3,t4} 16条弧 图 定义1.2 设xX为网N=(S, T; F)任一元素 .x={y|(y, x) F} x的前集(输入集) . x ={y|(x, y) F} x的后集(输出集) 见上例 定义1.3 N=(S, T; F) •简单网 •单纯网(纯网) •对偶网 •逆网 简单网 . . . . x, yX: ( x= y x =y ) x=y 由前集(或后集)确定元素 非简单网示例： 单纯网(纯网) . . x X xx = Φ . x={y} . x ={y} x y 任何元素不能同时是 另一元素的输入和输出 对偶网 N=(T, S; F)为N的对偶网 也是网(可以证明 N, N等价 逆网 N-1=(S, T; F-1)显然是网 F-1={(x, y)|(y, x) F} 定义1.4 •|X|, N称为有限网 我们主要讨论有限网 •若(X, F)是个连通图，则N称为连通网 表示N=(S, T; F)相应的有向图 定义1.5 N=(S, T; F) 设sS, 若有s S, 使得 s . . . . 1. s =s s = s, 则s和s是 互补库所 - s 常用s表示s的互补库所 . . 2.t T, 使t ss , 则s是t 的伴随库所