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

1.概念

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

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

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

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

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

 

 

2.