Nothing close enough? Start from a blank petri net → Describe it in one paragraph.
How to
How to use a petri net template.
- 01定義 place 與初始 token
為每個狀態（place）命名，並說明一開始有多少 token；這些內容代表系統的初始狀態。
- 02加入 transition
為每個會改變狀態的事件命名；transition 會將輸入 place（條件）連接到輸出 place（結果）。
- 03繪製弧線
說明哪些 place 會流向哪些 transition，以及哪些 transition 會在什麼 place 產生 token。
- 04驗證活性與安全性
請 AI 檢查模型中是否存在死結（沒有可觸發的 transition）或不安全的 place（token 數量超出預期）。
FAQ
Questions about petri net templates
什麼是 Petri net？
這是一種用於並行與分散式系統的數學建模語言。圓形的 place 表示狀態；矩形的 transition 表示事件；箭頭用來連接它們；place 中的 token 表示系統狀態。
Petri net 為什麼比流程圖更適合表示並行？
Petri net 能以形式化方式建模平行處理、同步與非決定性，這些概念是流程圖無法精確表達的。多個 token 可同時存在，因此能分析死結與競態條件。
transition「觸發」代表什麼？
當所有輸入 place 都具備所需 token 時，transition 就會觸發。觸發會從每個輸入 place 消耗一個 token，並在每個輸出 place 產生一個 token，進而改變系統狀態。