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