ペトリネットの状態方程式の非負整数特解の諸性質
スポンサーリンク
概要
- 論文の詳細を見る
ペトリネットの解析法の1つに状態方程式を用いる方法がある.状態方程式Ax=b(A∈Z^<mxn>, b∈Z^<mxl>)の任意の非負整数非同次解x∈Z^<nxl>_+は非負整数同次解のgeneratorと非負整数特解のgeneratorを用いて表現できるが, 非負整数特解のgeneratorの性質はほとんど知られていなかった.本論文では, Ax=bの極小台集合T-インバリアントとその他のT-インバリアントの判別法として知られている接続行列の部分行列の階数条件(rank条件)を含んでいる拡大システムA^^^〜x^^^〜=0^<mxl>, (A^^^〜=[A, -b]∈Z^<m×(n+1)>の極小台集合T-インバリアントx^^^〜∈Z^<(n+1)×1>_+に着目することによって, Ax=bのT-インバリアントのみならず非負整数特解をも議論できるようにして, 特解の解構造とrank条件の関係を明らかにする.
- 2002-01-22
著者
-
茂呂 征一郎
福井大学工学部
-
松本 忠
福井工業大学工学部
-
松本 忠
福井大学工学部
-
高田 真樹
福井大学工学部
-
Takata Maki
Department Of Electrical And Electronics Engineering Fukui University
関連論文
- SDLプロセスごとのペトリネット変換による仕様検証(コンカレントシステム, 一般)
- グレブナー基底のペトリネット可到達問題への適用について
- ファジイペトリネットを用いた推論エンジンルール構造修正法の一提案
- ハールウェーブレットを用いる適応的な解像度の選択による回路解析法(カオスの通信への応用,局在振動,一般)
- 時間なし連続ペトリネットの状態方程式の解について(ハイブリッドシステム,コンカレント工学一般)
- ひずみ波交流理論を用いた星形結合発振器の同期現象の検討
- CMOS LC発振器の相互インダクタ結合による多相発振
- P/Tペトリネットの可到達性判定の代数的試みについて(グラフ,ペトリネット,ニューラルネット及び一般)
- P/Tペトリネットの発火回数ベクトルをTインバリアントと特解で表すときの展開係数導出法(グラフ,ペトリ,ニューラルネット及び一般)
- パルス駆動された星形結合発振器の位相パターンの切り替りの様子について(一般,制御システムとダイナミックス)