- 著者
-
高田 真樹
松本 忠
茂呂 征一郎
- 出版者
- 一般社団法人電子情報通信学会
- 雑誌
- 電子情報通信学会技術研究報告. CST, コンカレント工学 (ISSN:09135685)
- 巻号頁・発行日
- vol.101, no.89, pp.61-68, 2001-05-18
- 被引用文献数
-
4
P/Tペトリネットの状態方程式Ax=b (A∈Z^<m×n>, b∈Z^<m×1>)の任意の非負整数非同次解は,generator, (u_i, ν_i)を用いて表すことができる(χ=Σα_iu_i+Σβ_jν_j). generator, (u_i, ν_i)を求める際の計算複雑度によって7つのレベルに分けられる. 特に, レベル6において極小T-インバリアントの非負整数重みつき一次結合と非負整数特解1個(ただし, 一般に複数個存在する)の和で表される. これは最も簡単な形式であり, 可到達問題を考える上で最も有用であると思われる. そこで, これらのgenerator (極小T-インバリアントu_i∈U_6と非負整数特解ν_j∈V_6)を効率的求めることが望まれる. 本論文では, レベル2のAx=0^<m×1>に対するgeneratorU_2 (拡大接続行列の整数基底)からレベル6のAx=bに対するgenerator (U_6, V_6)を同時に導出する方法を示している.