Petriネットのトークン到達を学ぶ 販売価格（税込）：480円 場所のトークン数と遷移の消費・生成から、到達する状態と最短の発火列を学びます。 対象：並行処理を説明する講師・学生 ・重み付きトークンの消費と生成を同時適用 ・状態空間を幅優先探索し最短発火列を記録 ・到達図と問題・解答を分けて出力 納品：オフラインHTMLアプリ7ファイル。ZIPを展開しapp.htmlを開きます。 出力：到達図SVG／状態・発火CSV／問題HTML／解答HTML 作業ファイルを明示保存・復元できます。自動保存はありません。 対応範囲： ・8場所・10遷移・1000状態・各場所50トークンまで。探索上限に達した場合は未完と表示します。 ・通常の時間なしPetriネットです。抑止・読み取りアーク・確率・時刻は非対応です。 ・探索打切り時に全到達や有界性を証明しません。デッドロックは表示状態内で発火可能な遷移がない状態です。 記入例は架空データです。需要・売上・効果を保証する商品ではありません。無料の代替手段もあるため、対応範囲と出力形式をご確認ください。