臺灣博碩士論文加值系統

本文深入探討如何以加時有限自動機做為模擬分離事件系統之一般性工具
。此概念首先由Wu and Chung(1991)提出並應用於模擬彈性製造系統。本
文將其擴充改良，此新的加時有限自動機方法除了包含其原有之特性外，
並將同時執行之觀念應用於模擬設計與分析上，文中並以範例示範此新方
法之應用。開發模擬分離事件系統前，先以加時有限自動機分析該系統可
以幫助系統設計者確認狀態變數、了解狀態間之關係及其流程、決定啟始
事件、偵測系統可能發生之邏輯錯誤、並可簡化不必要的事件以利模擬程
式設計。

This paper presents a timed finite automata (TFA) modeling
technique as a general tool for discrete-event system
simulation, which was recently proposed by Wu and Chung(1991)
and applied to model a flexible manufacturing system. We extend
the TFA approach by incorporating concurrent concept in
simulation design and illustrate its modeling technique via
examples from Sargent(1988) and Schruben(1983). Using TFA
analysis prior to coding a simulation can aid in identifying
state variables, in determining the relationship and flow among
states, in determining what events must be initially scheduled,
in anticipating possible logic errors, and in eliminating
unnecessary event. Simulation design is easier with the TFA
approach.