ペトリネットの発火系列問題に対する発見的解法FSD
スポンサーリンク
概要
- 論文の詳細を見る
本論文はペトリネットの発火系列問題(LFSと略記)に対する性能の良い発見的アルゴリズムFSDを提案し, その性能を実験的に評価する.ペトリネットの発火系列問題とは, ペトリネットPN, 初期マーキングM, 発火回数ベクトルX(その要素X(t)が各トランジションtの発火回数を表す)が与えられたとき, 各トランジションtがその中に合計で丁度X(t)回現れ, 且つMから順に発火可能であるトランジションの系列が存在するか否かを判定し, 存在するならばその様な1つの系列δを求める問題である.実験では, 解δの存在が保証されている8480個の入力例に対してFSDを適用した.その結果, FSDは7219個(85%)の入力例について実際にδを見つけ, 既存手法と比べて, 約3から10%改善された.特にステートマシンに対しては, 3900個の入力例全てについてその解を得ている.このことからFSDは高い能力を持つものと思われる.
- 一般社団法人電子情報通信学会の論文
- 1998-04-24
著者
-
渡邊 敏正
広島大学工学部第二類回路システム工学講座
-
山内 雅弘
近畿大学工学部電子情報工学科
-
山内 雅弘
広島大学大学院 工学研究科 情報工学専攻
-
橋本 通高
広島大学工学部第二類回路システム工学講座
関連論文
- グラフの付加辺多重度に上限を持つk-辺連結化問題
- 3-連結グラフに対する点被覆及び連結点被覆問題について
- プリント基板レイアウト設計における非平面接続数の極小化手法
- 与えられた制約を満たす矩形双対グラフ描画手法
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- A-12-4 トランジション改良選択法に基づくペトリネット最小初期マーキングの効率的構成法(A-12.コンカレント工学,一般講演)
- ペトリネットの最小初期マーキング探索におけるトランジションの効果的選択法(コンカレントシステム, 一般)
- ペトリネットの最小初期マーキングのための動作的デッドロック回避に基づく高速な発見的解法(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法
- 次数増加禁止点を持つグラフの指定点集合に対する2, 3点連結化問題の解法
- グラフの指定点3点連結化問題に対する解法
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットの最小初期マーキング問題に対する発見的解法
- ペトリネットの最大発火系列問題に対する発見的アルゴリズムFSDB
- ペトリネットインバリアント算出のためのFourier-Motzkin法の改良実装
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- A-12-5 時間付ペトリネットによるスケジューリングに対する発見的解法SDS
- A-12-4 指定プレース集合を含むサポートを持つペトリネットインバリアントの算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- ペトリネット発火系列問題の概説
- ペトリネット発火系列問題の概説
- 複数の求解戦略を持つリアルタイムスケジューリング法
- A-12-4 サイフォン・トラップ台に基づくインバリアント算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズム FMSN
- CONTEC : 辺交差の制御機能を有するグラフ描画システム
- 複数の指定点集合に対する2辺-及び2点-連結化問題の解法
- 指定サイズ矩形内への矩形双対グラフ描画手法
- いくつかのハイパーグラフ問題に対するPrimal-Dual近似アルゴリズムについて
- 通信ネットワークの(σ+1)辺連結化問題に対する効率的分散アルゴリズムDECA-1
- 通信ネットワークの(σ+1)辺連結化問題に対する効率的分散アルゴリズムDECA-1
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- A-12-3 ペトリネットの最適発火系列問題に対する発見的解法OFSD
- 一般ペトリネットにおける単一指定プレースを含む極小サイフォン抽出法
- 一般ペトリネットにおける極小デッドロック抽出法
- 指定点集合のk辺連結化問題に対する解法
- 3層配線問題の制約付きビア数最小化手法
- ペトリネットの発火系列問題に対する近似アルゴリズム
- 辺付加による(σ+1)-辺連結単純グラフ構成のための効率的アルゴリズム
- 辺付加による(σ+1)-辺連結単純グラフ構成のための効率的アルゴリズム
- グラフの多重辺生成を許さない(σ+1)-辺連結化問題
- グラフの多重辺付加を許さないk辺連結化問題
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネットの発火系列問題に対する新しい発見的解法FSD
- ペトリネットの指定プレース集合を含むサイフォン抽出法
- ペトリネットの発火系列問題に対する発見的解法FSD
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム