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