タイム・ペトリネットの最短時間可達問題

• 太田 淳

  早稲田大学理工学部 応用物理学科

• 久村 富持

  早稲田大学理工学部 応用物理学科

書誌事項

タイトル別名

• On the Minimal Time Reachability Problem of Timed Petri Nets

抄録

離散事象システムのモデルの一つであるペトリネットに時間を導入したタイム・ペトリネットは,実システムの性能評価に用いられている.本報告では,タイム・ペトリネットの与えられた初期マーキングm_0と目標マーキングm_fに対して,m_0からm_fに最短時間で遷移する発火系列を求める最短時間可達問題を考察する.まず,即時発火規則に基づく探索によって最適解が得られるタイム・ペトリネットのクラスを考察する.次に,時間付き状態機械の最短時間可達問題を解くためのアルゴリズムを示す.

収録刊行物

• 電子情報通信学会技術研究報告. CST, コンカレント工学

  電子情報通信学会技術研究報告. CST, コンカレント工学 95 (137), 23-28, 1995-07-07

  一般社団法人電子情報通信学会

キーワード

• 離散事象システム
• タイム・ペトリネット
• 可達問題

詳細情報

• CRID: 1573950402211226880
• NII論文ID: 110003300049
• NII書誌ID: AN10438446
• 本文言語コード: ja
• データソース種別:
  • CiNii Articles