1、x=0|t=0,1,系统运行过程描述：例子,t0,x=1,t=0,t1,t2,y=0|t=1,t3,x=0,s0,y=1,t=1,s1,s2,s3,y=0,初始状态s0t0x=0y=0t=0,2,系统资源模型,s0s1s2s3,t0t1t2t3,3,系统资源模型,t0t1t2t3,s0s1s2s3,4,系统资源模型,t0t1t2t3,s0s1s2s3,5,系统资源模型,t0t1t2t3,s0s1s2s3,6,基本要素,位置迁移状态变化描述初始状态,抽象元素抽象元素边（两种）位置标号,Petri网,7,系统资源模型,t0v0t1v1t2v2t3v3,s0u0s1u1s2u2s3u3,ts,8,P
2、etri网：例子,位置集合：迁移集合：边的集合：初始状态：, s0,s3,t0,t3, ts u0,u3,v0,v3 (s0,u0),(u0,s1),(s1,u1),(ts,u1),M: M(s0)=1,M(s1)=0,M(s2)=0,9,系统资源模型,t0v0t1v1t2v2t3v3,s0u0s1u1s2u2s3u3,ts,10,系统资源模型,1,ts ? 1ts ! 1,ts ? 1ts ! 1,ts,11,系统资源模型,1,ts ? 1ts ! 1,ts ? 1ts ! 1,ts,12,系统资源模型,ts ? 1ts ! 1,ts ? 1ts ! 1,ts,13,系统资源模型,1,ts ? 1ts ! 1,ts ? 1ts ! 1,ts,14,基本要素,状态通道状态变化初始状态,抽象状态二元组三元组给定状态,通信系统,15,系统资源模型,1,t0t1ts ? 1t2ts ! 1t3,s0s1ts ? 1s2ts ! 1s3,ts,16,通信单元：例子,状态集合：通道集合：迁移关系：初始状态：, s0,s3 ts: (s0,s1),(s1,ts?1,s2), s0,通信系统： 通信单元的组合,
