楊烽正2006-07-252018-06-292006-07-252018-06-292002http://ntur.lib.ntu.edu.tw//handle/246246/4192裴氏網圖目前已廣泛運用於離散事件的系統模 擬、分析、及控制。但是，裴氏網圖對於設施佈置 固定，但運輸工具途程動態變動的運輸系統建模和 模擬分析常有侷限不足之處。本研究針對運輸系統 的動態途程指派特性，提出一票允式裴氏網圖，以 擴充裴氏網圖的圖示內涵並定義相關的態變觸發規 則，以支援運輸系統的模型構建和系統模擬。透過 憑票運行的機制，票允式裴氏網圖會使網圖內的有 色標記依有色的允行票舖設的途程逐步行進。票允 式裴氏網圖的結構由七個元素所組成，分別是模 態、票允式態變、有向弧、派票線、允行票、標記 及途程規劃模態。並且，途程規劃模態其內設有三 個部分：標記途程動態指派模組、運行指令產生器、 和運行指令佇列。運行指令產生器的功能在模擬系 統途程執行的指令發生。標記途程動態指派模組負 責標記的網圖途程規劃，並發出允行票舖設路徑。 標記交通的擁塞和死鎖在途程規劃中已被抑制。最 後，我們將票允式網圖實際應用到多個複雜的無人 搬運車系統以驗證本研究的實用性。研究結果顯示 票允式裴氏網圖確實能夠減少整個網圖的複雜度， 增加塑模的效率。Petri nets are widely used in system modeling, simulation, and analysis for discrete event systems. However, using Petri nets to model transportation systems that have fixed facility deployment but dynamic vehicle routings is difficult. This paper presents a ticket-guarded Petri net to overcome this shortage. Based on a ticked guarded mechanism embedded in a proposed ticked-guarded transition, colored tokens are transported one place by one place following a dynamic route marked by serialized colored tickets in transitions. The structure of ticket-guarded Petri nets consists of seven elements: places, ticket-guarded transitions, arcs, ticket-assigned lines, tickets, tokens, and a routing planning place. Moreover, there are three parts embeded in routing planning place: a token dynamic routing module, a routing command generate, and a routing command queue. The routing command generator simulates the transportation demand generation. Token routes are dynamically planned and the corresponding tickets that are dispatched by the token dynamic routing module. Traffic blocking and deadlocks are examined and excluded during the route planning. In the end, we apply ticket-guarded Peri net to model several complicated automatic guided vehicle systems to verify the validity of this research. Results show that the presented ticket-guarded Petri net model can significantly reduce complexity and promote the efficiency of the modeling work.application/pdf376734 bytesapplication/pdfzh-TW國立臺灣大學工業工程學研究所裴氏網圖離散事件系統票允式裴氏網圖票允式態變Petri netdiscrete event systemsticket-guarded Petri netticked-guarded transitionreporthttp://ntur.lib.ntu.edu.tw/bitstream/246246/4192/1/902218E002027.pdf