Abstract
Petri net 原來是用在計算機科學上，來分析電腦中複雜的操作系統。基本上它是一種圖形描述方法，最大的優點是在於它的易讀性。我們也可以加入tokens去表示系統的資源，諸如高舉站、暫存區、機器等，或加入時間量去表示各資源的操作時間。藉著加入這些東西可使得 Petri Net更強於分析系統。在計算機上發生的問題同樣也會在製造系統中產生。近年來，愈來愈多的學者嘗試用 Petri net模式去分析製造系統。在本研究中我們使用 Petri net去分析彈性製造系統來達到四個目標。第一個目標，是在彈性製造系統中檢查暫存區之溢位現象 (Buffer Overflow)我們利用 Petri net的矩陣表示法取去判斷一個系統在何種情形下會發生溢位現象，此舉是透過簡單的數學運算來達到我們的目標；第二個目標，是使用 Petri net去安排一序列操作過程的各個最早啟動時間點；在一個彈性製造系統中有不同製造程序，機器、操作等，這種複雜的過程經過 Petri net的追蹤，可易於排程各操作的啟動時間點；第三個目標，藉著 P-invariant理論的修正演算法來偵測系統的死鎖現象；死鎖現象會造成對系統嚴重的損失，故事前如果能偵測到此現象，則可避免此一結果；最後一個目標，是在找尋最佳的排程準則。在一系統中，有多種機器、多種產品，機器如何選擇對產品的處理順序，才能使得整體系統的產出為最大，是這個目標要達成的。我們的分析方法有助於彈性製造系統的設計且提供彈性製造系統的分析者更簡易且方便的分析工具。