为了直观地分析系统的动作，从特定的视点出发推述系统的行为，需要采用动态分析的方法。其中 (148) 本来是表达异步系统的控制规则的图形表示方法，现在已经广泛地应用于硬件与软件系统的开发中，它适用于描述与分析相互独立、协同操作的处理系统，也就是并发执行的处理系统。 (149) 是描述系统的状态如何响应外部的信号进行推移的一种图形表示。