Abstract
模擬已被廣泛應用為解決問題的工具，隨著系統的的複雜化，模式的建構也變得越來越困難，因此如何利用電腦越來越快的速度及及圖形顯示能力，來幫助模式的建構與維護，就變成一項很重要的工作。在本論文研究中，我們設計並實做一個以CTPN（Colored Timed Petri Net）為模擬表達工具的模擬環境。在論文中先分析模擬的共通行為以為 CTPN模擬環境設計時的參考，再對構建模擬模式時所經常遇到的問題作一分析，根據這些分析的結果設計模擬環境功能需求。並根據這些功能需求實際開發一CTPN模擬環境。在這模擬環境中包括四個主要的模組，即CTPN編輯器、模擬執行器、模擬除錯器及模擬程式產生器。CTPN編輯器為一輸入介面，負責CTPN模擬模式的編輯及模擬模式語法的檢查。模擬執行器執行由CTPN編輯器所編輯出來的模擬模式，在模擬的過程中，由模擬除錯器負責監控模擬程式的執行，在發生執行時期錯誤時，顯示錯誤訊息，並通知模擬執行器停止執行模擬模式。模擬程式產生器負責將CTPN編輯器所編輯的模擬模式轉換成模擬程式碼。本研究所提出之CTPN模擬環境，可使得模式構建者簡化處理以往撰寫模擬程式時所需處理的細節（如程式語言的語法、記憶體的管理等 ），只需適當地定義模擬表達元素，節省模式構建者以往花在程式撰寫的時間。另外並提出一利用樣版檔案（Pattern File）產生模擬程式的方法，此方法可使得模擬程式產生器實做的困難度降低。