How to
How to use a petri net template.
- 01描述舞廳流程
用一般文字輸入你想建模的系統，例如「有兩個入口、需要保全驗票，且最多容納 100 人」。
- 02產生 Petri net 圖表
AI 會將你的描述轉換成包含 place、transition 與弧線的 Petri net，立即呈現 token 流動。
- 03調整 place 與 transition
修改標籤、增刪步驟，並調整初始標記，直到 Petri net 符合舞廳的實際運作邏輯。
- 04模擬並驗證
執行 token game 模擬，檢查是否出現死結或瓶頸，再與團隊分享圖表。
FAQ
Questions about petri net templates
舞廳系統的 Petri net 圖表是什麼？
這是一種形式化模型，呈現人員（token）如何在不同狀態（place）之間移動，例如排隊、入場、跳舞或離場，並由驗票或人數限制等 transition 控制。
如何用 Petri net 建模售票系統？
先為「票券可用」、「票券已售出」與「允許入場」定義 place，再用 transition 連接它們。只有存在票券時 transition 才會觸發，確保入場受到控管。
可以模擬舞廳的入場流程嗎？
可以。我們的工具能讓你進行 token game，觀察客人如何隨時間流經舞廳，協助找出過度擁擠或人手不足的情況。
為什麼使用 Petri net，而不是流程圖？
Petri net 能自然處理並行作業與資源限制，非常適合呈現入場、酒吧排隊與舞池人數上限同時發生的舞廳情境。
這些範例可以自訂嗎？
當然可以。每個範例都能作為起點，你可以編輯所有元素、調整容量、加入 VIP 通道，或合併圖表以符合場地需求。