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