Abstract
本文以Timed Petri Nets (簡稱TPNs) 來構建物料流系統(Material Flow System)中機器人與輸送帶之模式。利用這些模式，可求行系統的績效評估 (perform nce Eva-luation)，如平均資源使用率 (Utilization)與平均生產率等。此外，更可用此模式求取系統操作邏輯性質 (Operational Logical properties) ，如死鎖(dead-lock)現象之偵測等。本論文分三大部份將分別敘述如下。１. 利用TPN 模式求取機器人為中心之制造單元的績效評估：機器人為中心之製造單元(Robot-centered Manufacturing Cell,簡稱RMC)依其工件途程特性分成三類，即平行式 (Parallel-type RMC)流程式(Flow-type) RMC 與任意式(Random-type) RMC ；再將此三類分別用模組化的方式加以構建其TPN 模式。最後，可以利用這些模式以GTPNA 自動地作Semi-Markov 過程分析，以求其績效測度值(Performance Measures)。２. PN模式轉成三相離散式模擬虛擬碼之方法論：此部份將利用 PNs作為輔助三相離散式模擬 (Three-phase Dis-crete Simulation)之模式構建。將一個系統構建成 PN 模式之後，再將模式中代表資源(Resources) 與佇列(Queues)加以標示，且把需作決策之處加以定明白，而所得到的模式稱作 "EPN-SimGraph" 。最後，將此圖利用所提出的步驟將其轉成三相離散式模擬之虛擬碼(Ps-eudo Code)。利用此法，可保持PNs 原有之分析性，且可使三相式模擬在構建模式時更加明確。３. TPNs作區段控制式輸送帶系統之模式分析與模擬：此研究將以 PNs的理論證明所提出的區段控制式的輸送帶系統是具有良好邏輯性質的系統。本部份亦利用模組化的方式，將所定義出之區段圖 (Zone Graph) 加以構建其TPN 之模組。而更進一步我們將驗證此TPN 模式為一Bounded 、Live與 Conservati-ve之模式，且更可利用第二部分所提之方法，將其轉成模擬虛擬碼求互系統之績效評估。本文所強調的是模組化的方法構建物料流系統 TPN模式，以及 PNs與三相式模擬之關係。本文亦驗證了 PNs對於自動化物料搬運系統，乃至於一般自動化生產系統，於評估與設計時確可視為一具有聯貫性 (Unified)與整合性 (Integrated) 之模式構建工具。