ペトリネットの指定プレース集合を含むサイフォン抽出法
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットにおけるサイフォンとはプレースの部分集合Sで, Sに入力するトランジション集合はSから出力するトランジション集合に包含されるという構造的条件を満たすものである.本稿では, 与えられた指定プレース集合Qを含む極小サイフォン抽出に関して, |Q|≥1の場合のNP-完全性を示し, 分岐限定法に基づく|Q|=1の場合の1つの極小サイフォン抽出法, 及び|Q|≤1の場合の全ての極小サイフォン列挙法を提案する.
- 一般社団法人電子情報通信学会の論文
- 1998-07-28
著者
関連論文
- 枝重み付きカクタスに対する発火系列問題の解法
- サイクリックカクタスに対する発火系列問題の解法について
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- A-12-4 トランジション改良選択法に基づくペトリネット最小初期マーキングの効率的構成法(A-12.コンカレント工学,一般講演)
- ペトリネットの最小初期マーキング探索におけるトランジションの効果的選択法(コンカレントシステム, 一般)
- ペトリネットの最小初期マーキングのための動作的デッドロック回避に基づく高速な発見的解法(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法
- 次数増加禁止点を持つグラフの指定点3辺連結化問題に対する線形時間アルゴリズム
- 次数増加禁止点を持つグラフの指定点3点連結化問題に対する線形時間アルゴリズム
- 次数増加禁止点を持つグラフに対する点連結度増加問題
- グラフの指定点集合に対する3点連結化問題の解法
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットの最小初期マーキング問題に対する発見的解法
- ペトリネットの最大発火系列問題に対する発見的アルゴリズムFSDB
- ペトリネットインバリアント算出のためのFourier-Motzkin法の改良実装
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- A-12-5 時間付ペトリネットによるスケジューリングに対する発見的解法SDS
- A-12-4 指定プレース集合を含むサポートを持つペトリネットインバリアントの算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- ペトリネット発火系列問題の概説
- ペトリネット発火系列問題の概説
- 複数の求解戦略を持つリアルタイムスケジューリング法
- ペトリネットのサイフォン・トラップサポート集合に基づくインバリアント算出法
- A-12-4 サイフォン・トラップ台に基づくインバリアント算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズム FMSN
- CST2000-9 ペトリネットの最小初期マーキング問題に対する発見的アルゴリズムFMDB
- サイクリックカクタスに対する発火系列問題の解法について
- TD-1-11 平面全域部分グラフ抽出法とその応用
- SA-6-1 ペトリネットにおけるサイフォンの抽出法とその応用
- SA-6-8 通信ネットワーク3辺連結化のための分散アルゴリズム
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- A-12-9 Fourier-Motzin法によるペトリネットインバリアントの効率的算法
- CST2000-12 Fourier-Motzkin法によるペトリネットインバリアント計算の効率化
- A-12-6 ペトリネットの発火系列問題の発見的解法について
- CST2000-8 ペトリネット発火系列問題とその関連問題に対する発見的アルゴリズム
- ペトリネットにおけるトークン数下限制約を持つ発火系列問題
- A-12-3 ペトリネットの最適発火系列問題に対する発見的解法OFSD
- 一般ペトリネットにおける単一指定プレースを含む極小サイフォン抽出法
- 一般ペトリネットにおける極小デッドロック抽出法
- 付加辺の多重度に上限を持つk辺連結化問題に対する発見的解法EAM
- 最大独立点問題解法に基づくTerminal-Vertex Graphにおける全域平面部分グラフ抽出
- D-1-4 通信ネットワークの2辺連結化問題に対する分散アルゴリズムRDBCA
- 非交差道を用いたプリント基板配線領域の見積り手法
- ペトリネットの発火系列問題に対する近似アルゴリズム
- 層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA
- 層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA
- 層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA
- 通信ネットワークの3辺連結化分散アルゴリズム3DECA
- 部分論理回路の縮約に基づくFPGAテクノロジーマッピング法
- Efficient Augmentation to Construct $(\sigma + 1)$-Edge-Connected Simple Graphs (Algorithm Engineering as a New Paradigm)
- プリント基板設計における非平面接続要求の部品下領域を利用した配線手法
- プリント基板設計における非平面接続要求の部品下領域を利用した配線手法
- プリント基板設計における非平面接続要求の部品下領域を利用した配線手法
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネットの発火系列問題に対する新しい発見的解法FSD
- ペトリネットの指定プレース集合を含むサイフォン抽出法
- ペトリネットの発火系列問題に対する発見的解法FSD
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム