How to
How to use a petri net template.
- 01ダンスクラブのプロセスを説明する
「警備員の確認がある2か所の入口と、100人の収容人数制限」など、モデル化したいシステムを自然な文章で入力します。
- 02ペトリネット図を生成する
AIが説明をプレース、トランジション、アークからなるペトリネットに変換し、トークンの流れをすぐに表示します。
- 03プレースとトランジションを調整する
ラベルを変更し、手順を追加・削除して、ネットが実際のクラブ運営のロジックに合うまで初期マーキングを調整します。
- 04シミュレーションして検証する
トークンゲームのシミュレーションを実行してデッドロックやボトルネックの有無を確認し、図をチームと共有します。
FAQ
Questions about petri net templates
ダンスクラブのペトリネット図とは何ですか？
人（トークン）が、待機、入場、ダンス、退場などの異なる状態（プレース）を、チケット確認や収容人数ゲートなどのトランジションに従って移動する様子を示す形式モデルです。
ペトリネットでチケット管理システムをモデル化するにはどうすればよいですか？
「チケットあり」「チケット販売済み」「入場可能」などのプレースを定義し、チケットが存在する場合だけ発火するトランジションで接続します。これにより入場を適切に制御できます。
ダンスクラブの入場プロセスをシミュレーションできますか？
はい。ツール上でトークンゲームを実行し、時間の経過に伴ってゲストがクラブ内をどう移動するかを確認できます。混雑や人員不足の発見にも役立ちます。
フローチャートではなくペトリネットを使う理由は何ですか？
はい。ペトリネットは並行処理とリソース制約を自然に扱えるため、入場、バーの行列、ダンスフロアの人数制限が同時に発生するクラブのモデル化に適しています。
これらの例はカスタマイズできますか？
もちろんです。各例は出発点として使えます。すべての要素を編集し、収容人数を変更したり、VIPレーンを追加したり、図を統合したりして、会場に合わせられます。