TCCネットが活性な初期マーキングをもつための条件
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットは離散事象システムの数学モデルの一つである. 活性問題はペトリネットの重要な解析問題の一つであり, 系に局所的なデッドロックが生じないことを保証する. 本報告では, ペトリネットのサブクラスであるTCCネット, SCCネットについて, 活性な初期マーキングが存在するための必要十分条件を求める.
- 社団法人電子情報通信学会の論文
- 1997-08-13
著者
-
太田 淳
愛知県立大学情報科学部
-
太田 淳
愛知県立大学文学部
-
久村 富持
早稲田大学理工学部
-
久村 富持
早稲田大学大学院理工学研究科
-
久村 富持
早稲田大 理工
-
太田 淳
愛知県立大学大学院情報科学研究科
関連論文
- 色つき量子ペトリネットによる量チューリング機械のモデル化と解析(ペトリネット,離散事象システム,一般)
- 量子ペトリネットによる量子コンピュータのモデル化(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- バッチ処理アークつきマークグラフの可達問題(コンカレントシステム,離散事象システム,ハイブリッドシステム,及び一般)
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- 救急医療システムを対象としたカラーペトリネットシミュレーションモデルの提案と検討 (コンカレント工学)
- Polynomial time solvability of liveness problem of structurally weakly persistent net (コンカレント工学)
- Polynomial time solvability of liveness problem of structurally weakly persistent net (信号処理)
- Polynomial time solvability of liveness problem of structurally weakly persistent net (VLSI設計技術)
- Polynomial time solvability of liveness problem of structurally weakly persistent net (回路とシステム)
- P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合
- TCCネットが活性な初期マーキングをもつための条件
- 発火時間に制約を加えた時間付きPOCネットの活性問題
- 発火時間に制約を加えた時間ペトリネットのサブクラスの活性問題
- 即時発火ペトリネットの解析における帰着問題
- 部品生産および組み立ての結合システムの繰り返し工程スケジューリング
- SMAネットの代数的判別法
- タイム・ペトリネットの最短時間可達問題
- 即時発火ペトリネットの有界性に関する一考察(グラフ,ネットワークとアルゴリズムおよび一般)
- 共有資源付きタイム・ぺトリネットの即時発火活性について
- ペトリネットの活性が即時発火規則のもとで保存されるサブクラスについて
- ペトリネットにおける活性のト-クン数増加に対する単調性について
- マ-クグラフの可達問題の計算量
- 処理時間に不確定性を有するスケジュ-リング問題への確率タイム・ペトリネットの応用
- 時間付きプレ-スをもつペトリネットの繰返し工程スケジュ-リング問題への応用
- 通信プロトコルのネットモデルとその解析(ハイブリッドシステム,コンカレント工学一般)
- AP-4-2 コンカレント技術研究の現状(AP-4.コンカレント技術の現在・過去・未来,パネル討論,ソサイエティ企画)
- Fourier-Motzkin法を応用したペトリネットの基本サイフォンの列挙(コンカレントシステム, 一般)
- CORBAのコールバック問題のためのペトリネットの構造と解析について(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- 挙動的トラップのPOCネットの活性の単調性への応用(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットを用いたCORBAにおけるコールバック問題の解析(コンカレント工学理論と応用一般)
- バッチ処理アークつきペトリネットのプレースインバリアント(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- ペトリネットを用いたCORBAのコールバック問題に対する検討(コンカレント工学及びハイブリッドダイナミカルシステムの理論と応用,一般)
- ペトリネットのトークン不足サイフォンと活性単調性解析への応用
- バッチ処理アークつきペトリネットの記述能力(グラフ,ペトリ,ニューラルネット,及び一般)
- 量子ペトリネットを用いた新しい量子コンピュータモデルの提案
- A-12-2 ペトリネットの故障診断に関する一考察(A-12.コンカレント工学,一般セッション)
- AT-3-1 ペトリネットとその拡張クラス(AT-3. コンカレント工学の理論と応用,チュートリアルセッション,ソサイエティ企画)
- 挙動的トラップのPOCネットの活性の単調性への応用(グラフ,ペトリ,ニューラルネット及び一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- 救急医療システムを対象としたカラーペトリネットシミュレーションモデルの提案と検討(一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- CAS2010-23 構造的弱パーシステントネットの活性問題の計算量(システムと信号処理及び一般)
- バッチ処理アークつきペトリネットの記述能力(グラフ,ペトリ,ニューラルネット,及び一般)
- 可達集合が半線形集合であるペトリネットのアンフォールディング(コンカレント工学一般)
- 可変ロ-プ長振子の振動制御(ショ-ト・ペ-パ-)
- LQ問題のジブ・クレ-ン制御への応用
- P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合
- 多分割ペトリネットの記述と発火
- 3a-D-3 高温発生ラインプロファイル測定のためのデータプロセッサー
- 即時発火ペトリネットの有界性に関する一考察
- ペトリネットの可達問題における発火系列の1生成法
- 繰返し工程スケジュ-リングの追越し現象とその防止--タイム・ペトリネットの応用
- 繰返し工程スケジュ-リング問題へのタイム・ペトリネットの応用と緊急停止時の復旧方策
- 制御入力に振幅抑制を有する適応追値制御
- タイム・マ-クグラフの可到達性と発火実行アルゴリズム
- ジブ形クレ-ンの制御に関する理論的考察
- 出力フィ-ドバックによる多変数システムの非干渉化
- 出力フィ-ドバックによる多変数システムのPartial Decoupling
- 組合せ最適化問題に対する簡易的GA構成法(Easy GA)
- 複数バッファ切り替えシステムのMLDによるモデル化と制御
- 複数サブシステム間の情報伝達を利用した分散システムの適応追値制御
- 状態機械のプレース間排他制御とデッドロックについて
- ファジーペトリネットの音楽への応用の可能性
- ファジーペトリネットの音楽への応用の可能性
- A-12-9 マークグラフの故障診断に関する一考察(A-12.コンカレント工学,一般セッション)
- トラップ包含閉路ネットの活性問題の計算量
- シャフト間の役割を考慮したマルチカーエレベータの運行制御方式の提案(CSTソリューションコンペティション2010,コンカレントシステム及び一般)
- A-12-1 共有資源つき時間マークグラフの最大スループットの近似算法
- ペトリネットを用いた並列計算機AP3000のプログラミング支援(コンカレント工学一般)
- A-12-3 制限つきワークフローネットの状態方程式に関する一考察
- 接続行列を用いたペトリネットの活性問題の解析について
- SA-6-7 ペトリネットのインバリアントの近似的列挙法
- A-12-1 拡張状態機械の構造活性について
- コンカレントシステムの新しいモデルとペトリネット
- AC/DCネットの活性問題に関する一考察
- トラップ包含閉路ネットの活性問題の計算量
- ACネットの有界活性問題のNP困難性
- 有界なAC/DCネットの単調活性問題の多項式時間解法
- A-12-5 拡張状態機械の活性について
- 有界なPOCネットの単調活性について
- AS-3-4 抑止アーク付きマークグラフの活性解析とワークフローへの応用(AS-3.ワークフローとビジネスプロセス管理への数理的アプローチ,シンポジウムセッション)
- トラップ包含閉路ネットの検証法(グラフ,ペトリネット,ニューラルネット,及び一般)
- トラップ包含閉路ネットの検証法(グラフ,ペトリネット,ニューラルネット,及び一般)
- トラップ包含閉路ネットの検証法
- トラップ包含閉路ネットの検証法
- ペトリネットを用いた量子回路のモデル化と解析