如果系统比较复杂,可以把状态一迁移图分层表示。例如,在确定了如图2.16所示那样 的大状态S1,S2,S3之后,接下来就可把状态S1,S2,S3细化。在该图中对状态S1进行 了细化。此外,在状态一迁移图中,由一个状态和一个事件所决定的下一状态可能会有多个 际会迁移到哪一个是由更详细的内部状态和更详细的事件信息来决定的。此时,可采用状 态迁移图的一种变形,如图2.17那样,使用加进判断框和处理框的记法 SI C1、C2:判断条件 P1~P5:处理内容 图2.16状态迁移图的网 图2.17状态迁移图的变形 Petri网 Peti网,简称PNG( Petri Net Graph)。它适用于描述相互独立、协同操作的处理系统 即并发执行的处理系统。在软件需求分析与设计阶段都可以使用 Petri网是一种有向图,它有两种结点:“O”表示系统的状态。“一”或“|”表示系 统中的事件。图中的有向边表示对事件的输入,或从事件输出:“一”表示对事件的输入 →”表示事件的结果,即从事件的输出。 图2.18用 Petri网描述了在一个多任务系统中的两个进程PRl和PR2使用一个公共资源 R时,利用原语LOCK(对资源加锁)和 UNLOCK(对资源解锁)控制R的使用,保证进程 间的同步的例子 进程1 进程2 等待RR空闲等待R。 p2 处理11 处理21 p3 p6 处理12 处理22 图2.18进程同步机制的PNG 图中每个进程是一个数据对象,它有三个状态:等待资源(pl或p4),占用资源执行 的处理(p2或p5),不占用资源执行的处理(p3或p6),另外系统有一个状态:资源空闲 (p7)。在有的状态中有一个黑点“⊙”,称为标记或令牌,表明系统或对象当前正处于此 状态。当作为一个事件的输入的所有状态都得到或保有令牌时,才能引起该事件“激发” 使得系统和对象的状态向前推移,完成系统和对象的某些行为 控制规格说明 控制规格说明从两个方面给出系统的行为。其一是状态一迁移图(STD),它是行为的“顺 序规格说明”。其二是加工激活表(PAT),它是行为的“组合规格说明”,表明当事件激发时,10 如果系统比较复杂，可以把状态—迁移图分层表示。例如，在确定了如图 2.16 所示那样 的大状态 S1，S2，S3 之后，接下来就可把状态 S1，S2，S3 细化。在该图中对状态 S1 进行 了细化。此外，在状态—迁移图中，由一个状态和一个事件所决定的下一状态可能会有多个。 实际会迁移到哪一个是由更详细的内部状态和更详细的事件信息来决定的。此时，可采用状 态迁移图的一种变形，如图 2.17 那样，使用加进判断框和处理框的记法。 图 2.16 状态迁移图的网 图 2.17 状态迁移图的变形 ▪ Petri 网 Petri 网，简称 PNG (Petri Net Graph)。它适用于描述相互独立、协同操作的处理系统， 即并发执行的处理系统。在软件需求分析与设计阶段都可以使用。 Petri 网是一种有向图，它有两种结点：“○”表示系统的状态。“—”或“┃”表示系 统中的事件。图中的有向边表示对事件的输入，或从事件输出：“ ”表示对事件的输入； “ ”表示事件的结果，即从事件的输出。 图 2.18 用 Petri 网描述了在一个多任务系统中的两个进程 PR1 和 PR2 使用一个公共资源 R 时，利用原语 LOCK（对资源加锁）和 UNLOCK（对资源解锁）控制 R 的使用，保证进程 间的同步的例子。 图 2.18 进程同步机制的 PNG 图中每个进程是一个数据对象，它有三个状态：等待资源（p1 或 p4），占用资源执行 的处理（p2 或 p5），不占用资源执行的处理（p3 或 p6），另外系统有一个状态：资源空闲 （p7）。在有的状态中有一个黑点“”，称为标记或令牌，表明系统或对象当前正处于此 状态。当作为一个事件的输入的所有状态都得到或保有令牌时，才能引起该事件“激发”。 使得系统和对象的状态向前推移，完成系统和对象的某些行为。 ▪ 控制规格说明 控制规格说明从两个方面给出系统的行为。其一是状态—迁移图(STD)，它是行为的“顺 序规格说明”。其二是加工激活表(PAT)，它是行为的“组合规格说明”，表明当事件激发时