How to
How to use a petri net template.
- 01辨識排程實體（位置）
定義排程流程所依賴的狀態、資源或條件，例如「任務就緒」、「機器閒置」或「緩衝區已滿」。
- 02定義動作或事件（轉移）
指定會推動流程進展的觸發條件，例如「開始加工」、「任務完成」或「資源釋放」。
- 03用弧線連接位置與轉移
繪製有向弧線，表示動作如何消耗或產生資源，並設定權重來表示數量。
- 04設定初始標記（標記）
在相關的起始位置放置標記，表示排程的初始狀態（例如在「工作佇列」中放置一個標記）。
- 05模擬並優化
使用圖表工具的模擬模式逐步執行轉移，找出死結或瓶頸，並反覆調整 Petri 網。
FAQ
Questions about petri net templates
Petri 網在排程中有什麼用途？
Petri 網能建模並行與分散式系統，非常適合處理具有共用資源、前置條件及同步需求的排程任務。它能協助視覺化相依性、偵測死結及分析效能。
如何在 Petri 網中建模資源限制？
使用位置表示資源（例如「機器可用」），並依資源數量放入相同數量的標記。需要該資源的轉移在觸發時會消耗一個標記；資源釋放後，再將一個標記放回該位置。
我可以在 Petri 網排程圖中加入時間嗎？
可以，具時間性的 Petri 網會在轉移上加入持續時間或觸發延遲，讓你能模擬即時排程，並分析總工期或延遲時間。
什麼是位置不變量？為什麼有用？
位置不變量是描述不同位置標記數量關係的守恆方程式。它們有助於驗證有界性與一致性等系統性質，對受時間限制的排程模型尤其重要。
這個圖表工具如何協助避免死結？
透過模擬標記流動，工具會立即顯示死結，也就是沒有任何轉移可以觸發的情況。接著你可以加入抑制弧、優先順序規則，或調整資源配置來避免死結。