第六章 单处理器和多处理器系统软件开发过程中的程序建模概念

1.概念

DFG（ADFG）--以数据为核心，单路径。程序复杂性可以通过采用DFG，ADFG进行简化。

CDFG--以程序为核心，多路径。

有限状态机(FSM)--状态数已知的情况下使用，描述各个状态之间的转换关系以及状态内部的处理行为。

petri网模型--状态数未知情况下使用，复杂情况下使用。两种对象分别为节点位置（圆圈表示）和节点转换（矩形表示），允许多个输入条件触发节点转换。推荐使用petrin表，更有利于后期编程。

petri表

节点位置	可能令牌	节点转换	使能令牌	输出令牌	输出行为	下一节点位置	允许的时间

 

 

2.