アンフォールディングを用いた非有界なネットの被覆性判定手法について
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットは強力な数学的検証能力を持つが,検証する際に多くの場合その状態空間を構成しなければならない.アンフォールディングを用いることにより,有界なペトリネットにおける状態空間爆発問題を回避できる.しかし,非有界なペトリネットにおけるアンフォールディングを用いた方法は提案されていない.そこで筆者らはこれまでに非有界なペトリネットに対するアンフォールディングを生成するアルゴリズムを提案した.本稿では,非有界なアンフォールディングにおける可達性判定,被覆性判定の方法を提案する.
- 社団法人電子情報通信学会の論文
- 1999-11-09
著者
関連論文
- 大域的分岐解析に基づく大脳皮質視覚野錐体細胞モデルの構築
- [2010年]年頭にあたっての抱負
- 膵臓β細胞塊のインスリン分泌に及ぼす細胞内カルシウム貯蔵の影響
- A-2-12 心臓心室筋詳細モデルの大域的分岐構造に基づくイオンチャネル薬物感受性解析(A-2.非線形問題,一般講演)
- 非線形心筋細胞モデルの大域的分岐構造と刺激応答特性について(II)
- 非線形動的モデルを用いた心臓心室筋細胞の刺激応答特性と薬物感受性の解析(非線形問題)
- A-2-4 心室筋細胞におけるイオンチャネルコンダクタンスの活動電位持続時間に及ぼす影響(A-2. 非線形問題, 基礎・境界)
- マルチエージェントネットの可達空間生成アルゴリズム(コンカレントシステム, 一般)
- シーケンス制御システムのマルチエージェントネットモデル導出手法
- A-12-4 マルチエージェントネットによる制御システムのモデル化(A-12. コンカレント工学)
- 分散EMSにおけるエネルギー取引決定手法の評価
- A-12-8 多期間における分散EMSの最適運転計画問題(A-12. コンカレント工学,一般セッション)
- A-12-3 拡張ROOM法における先行子表編集のためのGUIの開発(A-12. コンカレント工学,一般セッション)
- 蓄電池による風力発電出力安定化システムの事業性検討
- 画像復元・補間問題の動径基底関数ネットワークによる解法
- 心筋細胞詳細モデルの大域的分岐構造とイオンチャネル薬物感受性について(II)
- 確率的埋め込み法によるデータクラスタリング
- 1次元写像力学系に基づくRandom Boolean Networkダイナミクスの解析
- Safety Critical Systemに対する強化学習適用に関する検討(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- MCEの群管理制御器:スケジュール完了時間の最適化とサービス範囲保証のためのパーキング戦略を適用したアルゴリズム(CSTコンペ・ソリューション発表,コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- 分散EMSにおけるエネルギー取引決定手法に対する市場指向プログラミングの適用
- 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について(グラフ,ペトリネット,ニューラルネット及び一般)
- エージェントネットに基づくSOA検証用UMLシミュレータの提案(UML/開発方法論)
- 確率的手法による高次元データの低次元埋め込み
- 心筋細胞詳細モデルの大域的分岐構造とイオンチャネル薬物感受性について
- 動径基底関数ネットワークによる画像補間問題の単純解法
- A-12-10 複数市場が存在する分散EMSにおけるエネルギー取引決定手法の検討(A-12.コンカレント工学,一般講演)
- A-12-9 タブサーチを用いた自律分散型AGVの搬送計画手法(A-12.コンカレント工学,一般講演)
- CO_2排出量を考慮した分散EMSへの市場指向プログラミングの適用(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 環境負荷を考慮したエネルギー取引システムシミュレータにおけるJavaクラスの開発(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- 環境負荷を考慮したエネルギー取引システムのシミュレータの開発
- SA-7-5 マルチエージェントによる環境負荷を考慮した分散EMSの最適運用に関する研究(SA-7. 企業・社会活動におけるコンカレント技術)
- マルチエージェントによる環境負荷を考慮した分散EMSの最適運用に関する研究
- A-2-13 動径基底関数による画像補間に及ぼすランダムサンプリングの影響(A-2.非線形問題,一般講演)
- A-2-17 確率的手法を用いた高次元データの低次元埋め込み地図の作成(A-2.非線形問題,一般講演)
- 距離幾何学問題における確率的近接データ埋め込み法の拡張
- 確率的近接データ埋め込み法の分子構造決定問題への応用
- A-2-5 確率的近接データ埋め込み法の分子構造決定問題への応用(A-2. 非線形問題, 基礎・境界)
- 秘密分散共有法を用いた分散データベースシステムのマルチエージェントネットによる実現について(グラフ,ペトリネット,ニューラルネット及び一般)
- A-12-2 Safety Critical Systemにおける強化学習の適用に関する一考察(A-12.コンカレント工学,一般講演)
- マイクロ SMES による瞬時電圧低下補償装置の構成とその実験結果
- ライブかつセーフな自由選択ネットの分割アルゴリズム
- 自律分散ストレージシステムの自動修復機能の設計と実装(グラフ,ペトリ,ニューラルネット,及び一般)
- 自律分散ストレージシステムの自動修復機能の設計と実装(グラフ,ペトリ,ニューラルネット,及び一般)
- 秘密分散共有データベースにおける分散クエリ最適化問題について(コンカレントシステム,一般)
- マルチエージェントネットを用いた自律分散型FMSのコンカレント設計
- 自動倉庫システムのエージェント指向設計手法について
- 近況報告
- A-12-4 BPEL/UML動作検証用シミュレータの研究(A-12.コンカレント工学,一般講演)
- Activity hypergraphを使用したBPEL4WS/UML記述のシミュレーション手法の提案(コンカレントシステム, 一般)
- フローショップ型生産システムの電気回路モデルと感度解析
- A-12-4 生産システムの電気回路モデルと感度解析
- CST2000-5 生産システムの電気回路モデルと感度解析
- A-12-2 自律分散ストレージシステムの信頼性向上手法の検討(A-12. コンカレント工学)
- マルチエージェントによる自律分散ストレージシステムの設計と実装(コンカレント工学一般)
- A-12-7 秘匿性・信頼性を保証したストレージシステムのためのエージェントの設計
- 交通信号システムの自律分散制御のためのマルチエージェントモデルについて(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- 秘匿性・信頼性を保証したストレージシステムのWebDAVフロントエンドの開発(コンカレント工学一般)
- マルチエージェントネットを用いたデマンドバスシミュレーションシステム
- 階層型マルチエージェントネットの通信機構について
- SA-7-9 マルチエージェントネットの分散シミュレーション
- 心筋細胞結合系を用いた活動電位伝播特性の解析
- A-2-25 心筋細胞結合系におけるパルス列伝播特性の解析(A-2.非線形問題,一般講演)
- A-2-12 膵臓β細胞モデルのパラメータ推定
- 雑音存在下でのカオス写像の確率分岐解析(非線形回路システム及び一般)
- 雑音存在下でのカオス写像の確率分岐解析(非線回路システム及び一般)
- Boolean Networkの1次元写像力学系を用いた統計的解析
- 遺伝子制御ネットワークの結合写像系によるモデル化と解析
- SA-7-2 Peer to Peerコラボレーションソフトウェアのためのデータ同期・管理手法の提案(SA-7. 企業・社会活動におけるコンカレント技術)
- A-2-14 結合写像系を用いた遺伝子制御ネットワークのモデル化(A-2.非線形問題,一般講演)
- Distance Geometry問題の大域的最適化による解法について
- 非線形心筋細胞モデルの大域的分岐構造と刺激応答特性について
- A-2-6 最適化手法によるタンパク質構造決定問題の並列計算(A-2. 非線形問題, 基礎・境界)
- 秘密分散共有法を利用した自律分散ストレージシステム(情報セキュリティ応用)
- ガウス型目的関数を用いた最適化による分子構造の推定(通信システム・非線形回路とシステム及び一般)
- イオンチャネルコンダクタンスに関する大域的分岐構造に基づく心筋細胞の薬物感受性解析(通信システム・非線形回路とシステム及び一般)
- ガウス型目的関数を用いた最適化による分子構造の推定(通信システム・非線形回路とシステム及び一般)
- イオンチャネルコンダクタンスに関する大域的分岐構造に基づく心筋細胞の薬物感受性解析(通信システム・非線形回路とシステム及び一般)
- A-12-1 自律分散ストレージシステムのための代数体実現法の検討(A-12. コンカレント工学)
- A-2-5 大域的分岐構造に基づく心室筋イオンチャネルの薬物感受性の解析(A-2. 非線形問題)
- A-2-4 ガウス型目的関数を用いた分子構造の推定(A-2. 非線形問題)
- 膵臓β細胞塊のインスリン分泌に及ぼす細胞内カルシウム貯蔵の影響
- 代数的画像再構成法における部分空間の直交性を利用した新しい並列計算法
- A-12-8 秘匿性・信頼性を保証したストレージシステムの WebDAV フロントエンドについて
- A-2-14 Hopf 分岐近傍に生じる異常に遅い神経振動と発火間隔の変動性
- A-2-11 β細胞塊のグルコースに対する応答について
- Mackey-Glass差分微分万程式の有限次元近似について
- Hopf分岐近傍に生じる異常に遅い神経振動現象の解析(非線形回路システム及び一般)
- Hopf分岐近傍に生じる異常に遅い神経振動現象の解析(非線回路システム及び一般)
- SA-2-1 大域的に結合したペースメーカニューロン集団のリズム調節
- A-2-3 遅速ダイナミクスを持つ神経ケーブルのパルス列伝搬解析
- A-2-2 カオスニューロンからなる2次元興奮場における渦巻波の解析
- NLP2000-33 / NC2000-27 Hodgkin-Huxley型単一ニューロンによる活動電位波形学習について
- NLP2000-33 / NC2000-27 Hodgkin-Huxley型単一ニューロンによる活動電位波形学習について
- ニューロ写像の結合系における興奮波伝播の解析
- ニューロ写像の結合系における興奮波伝播の解析
- 時定数の変更されたHodgkin-Huxley方程式の分岐解析
- 時定数変化が生み出す Hodgkin-Huxley 神経方程式の非線形力学の多様性
- 神経細胞のHodgkin-Huxley方程式から心臓Purkinje線維のNoble方程式へ
- A-12-1 秘密分散共有法を用いた分散データベースシステムに関する研究(A-12.コンカレント工学,一般講演)