After the model constructed in developing phase, the feasible behavior sequences of the equipment can be evaluated by the proposed hierarchical method and the partial reachability tree.

• 因此，如何建立有效的机台行为模型，尤其是动作次序的行为，在模型架构下可有效的进行剧本分析，乃成为本研究之目的。