即時発火ペトリネットの有界性に関する一考察(グラフ,ネットワークとアルゴリズムおよび一般)
スポンサーリンク
概要
- 論文の詳細を見る
有界性はペトリネットの主要な解析問題の一つである.一方,ペトリネットに発火可能なトランジションはすぐに発火しなければならないとした即時発火規則を導入することにより,理論・応用の両面に興味深い拡張クラスを得る.理論的には,即時発火規則を導入したペトリネットは,チューリング機械と等価となる.応用面では,即時発火規則によって,性能評価問題の準最適な解が得られることが知られている.さて,通常の発火規則の下でのペトリネットの有界性は,即時発火ペトリネットの有界性のための十分条件ではあるが,必要条件ではない.また,一般の即時発火ペトリネットの有界性は非可解である.本報告では,これらの背景の下にペトリネットのサブクラスの即時発火規則の下での有界性について考察する.
- 社団法人電子情報通信学会の論文
- 1994-11-17
著者
-
太田 淳
愛知県立大学文学部
-
久村 富持
早稲田大学理工学部
-
太田 淳
早稲田大学理工学部応用物理学科
-
久村 富持
早稲田大学理工学部応用物理学科
-
久村 富持
早稲田大学大学院理工学研究科
-
久村 富持
早稲田大 理工
関連論文
- P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合
- TCCネットが活性な初期マーキングをもつための条件
- 発火時間に制約を加えた時間付きPOCネットの活性問題
- 発火時間に制約を加えた時間ペトリネットのサブクラスの活性問題
- 即時発火ペトリネットの解析における帰着問題
- 部品生産および組み立ての結合システムの繰り返し工程スケジューリング
- SMAネットの代数的判別法
- タイム・ペトリネットの最短時間可達問題
- 即時発火ペトリネットの有界性に関する一考察(グラフ,ネットワークとアルゴリズムおよび一般)
- 共有資源付きタイム・ぺトリネットの即時発火活性について
- ペトリネットの活性が即時発火規則のもとで保存されるサブクラスについて
- ペトリネットにおける活性のト-クン数増加に対する単調性について
- マ-クグラフの可達問題の計算量
- 処理時間に不確定性を有するスケジュ-リング問題への確率タイム・ペトリネットの応用
- 時間付きプレ-スをもつペトリネットの繰返し工程スケジュ-リング問題への応用
- 可変ロ-プ長振子の振動制御(ショ-ト・ペ-パ-)
- LQ問題のジブ・クレ-ン制御への応用
- P-インバリアントを用いたペトリネットのフィードバック制御 : 発火不可制御、不可観測なトランジションがある場合
- 多分割ペトリネットの記述と発火
- 3a-D-3 高温発生ラインプロファイル測定のためのデータプロセッサー
- 即時発火ペトリネットの有界性に関する一考察
- ペトリネットの可達問題における発火系列の1生成法
- 繰返し工程スケジュ-リングの追越し現象とその防止--タイム・ペトリネットの応用
- 繰返し工程スケジュ-リング問題へのタイム・ペトリネットの応用と緊急停止時の復旧方策
- 制御入力に振幅抑制を有する適応追値制御
- タイム・マ-クグラフの可到達性と発火実行アルゴリズム
- ジブ形クレ-ンの制御に関する理論的考察
- 出力フィ-ドバックによる多変数システムの非干渉化
- 出力フィ-ドバックによる多変数システムのPartial Decoupling
- 組合せ最適化問題に対する簡易的GA構成法(Easy GA)
- 複数バッファ切り替えシステムのMLDによるモデル化と制御
- 複数サブシステム間の情報伝達を利用した分散システムの適応追値制御
- 状態機械のプレース間排他制御とデッドロックについて