Nothing close enough? Start from a blank petri net → Describe it in one paragraph.
How to use a petri net template.
- 01スケジューリングの要素（プレース）を特定する
スケジューリングプロセスが依存する状態、リソース、条件を定義します。例：「タスクの準備完了」「機械が待機中」「バッファが満杯」。
- 02アクションやイベント（トランジション）を定義する
「加工開始」「タスク完了」「リソース解放」など、進行を引き起こすイベントを指定します。
- 03プレースとトランジションをアークでつなぐ
有向アークを描き、アクションがどのようにリソースを消費または生成するかを示します。数量を表す重みも設定します。
- 04初期マーキング（トークン）を設定する
スケジュールの開始状態を表すため、該当する開始プレースにトークンを配置します（例：「ジョブキュー」にトークンを1つ配置）。
- 05シミュレーションして改善する
図ツールのシミュレーションモードでトランジションを順に実行し、デッドロックやボトルネックを見つけて、Petri netを繰り返し調整します。
Questions about petri net templates
スケジューリングではPetri netを何に使いますか？
Petri netは並行システムや分散システムをモデル化できるため、共有リソース、先行関係、同期要件を含むタスクのスケジューリングに適しています。依存関係の可視化、デッドロックの検出、性能分析に役立ちます。
Petri netでリソース制約をモデル化するにはどうすればよいですか？
リソースをプレース（例：「機械が利用可能」）で表し、リソース数と同じ数のトークンを配置します。そのリソースを必要とするトランジションは発火時にトークンを消費し、リソースが解放されるとトークンがプレースに戻ります。
Petri netのスケジューリング図に時間を含められますか？
はい。時間付きPetri netでは、トランジションに所要時間や発火遅延を設定できます。これにより、リアルタイムのスケジューリングをシミュレーションし、メイクスパンや納期遅延を分析できます。
プレース不変量とは何ですか？なぜ役立つのですか？
プレース不変量は、プレース間のトークン数の関係を表す保存則です。有界性や整合性などのシステム特性の検証に役立ち、時間制約のあるスケジューリングモデルでは重要な役割を果たします。
この図ツールはデッドロックの回避にどう役立ちますか？
トークンの流れをシミュレーションすると、どのトランジションも発火できないデッドロックをすぐに見つけられます。その後、抑制アークや優先ルールを追加したり、リソース割り当てを調整したりして、デッドロックを防止できます。