A-12-4 サイフォン・トラップ台に基づくインバリアント算出法
スポンサーリンク
概要
- 論文の詳細を見る
- 社団法人電子情報通信学会の論文
- 1999-03-08
著者
-
山内 雅弘
近畿大学工学部電子情報工学科
-
和久田 真浩
広島大学 工学部 第二類 (電気系)
-
渡邉 敏正
広島大学 大学院工学研究科 情報工学専攻
-
和久田 真浩
広島大学工学部第二類(電気系)
-
山内 雅弘
広島大学 工学部 第二類 (電気系)
関連論文
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- A-12-4 トランジション改良選択法に基づくペトリネット最小初期マーキングの効率的構成法(A-12.コンカレント工学,一般講演)
- ペトリネットの最小初期マーキング探索におけるトランジションの効果的選択法(コンカレントシステム, 一般)
- ペトリネットの最小初期マーキングのための動作的デッドロック回避に基づく高速な発見的解法(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットの最小初期マーキング問題に対する発見的解法
- ペトリネットの最大発火系列問題に対する発見的アルゴリズムFSDB
- ペトリネットインバリアント算出のためのFourier-Motzkin法の改良実装
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- A-12-5 時間付ペトリネットによるスケジューリングに対する発見的解法SDS
- A-12-4 指定プレース集合を含むサポートを持つペトリネットインバリアントの算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- ペトリネット発火系列問題の概説
- ペトリネット発火系列問題の概説
- 複数の求解戦略を持つリアルタイムスケジューリング法
- ペトリネットのサイフォン・トラップサポート集合に基づくインバリアント算出法
- A-12-4 サイフォン・トラップ台に基づくインバリアント算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズム FMSN
- 1カウンタ言語を受理するRTAの構成法
- SA-7-2 データから見たCST研究会 : これまでとこれから
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- A-12-3 ペトリネットの最適発火系列問題に対する発見的解法OFSD
- 一般ペトリネットにおける単一指定プレースを含む極小サイフォン抽出法
- 一般ペトリネットにおける極小デッドロック抽出法
- グラフと同形なネットワーク上での2辺連結化問題に対する分散アルゴリズムDBCA
- ペトリネットの発火系列問題に対する近似アルゴリズム
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネットの発火系列問題に対する新しい発見的解法FSD
- ペトリネットの指定プレース集合を含むサイフォン抽出法
- ペトリネットの発火系列問題に対する発見的解法FSD
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム