ファジィペトリネットモデルとその解析システムに関する研究

本研究ではファジィ論理をペトリネットに取いれる手法について考察を行った.手法としてはTimed Petri Net(TPN)に対するものと,Predicate Transition Petri Net(PrTN)に対するものの2つについて考察を行った。具体的にはTPNに対してFuzzy Timed Petri Net(FTPN),すなはち、TPNでは固定時間で与えられるトランジションの発火時間をFUZZY数で表現するものを、PrTNに関しては、Fuzzy Predicate Transition Net (FPrTN)、そなはち、トランジションに与える述語表現をファジィルールを用いるようにしたものを定義した。この2つから特にファジィ時間ペトリネットの解析方法について考察した。まず、ファジィ表現に用いられるメンバシップ関数の演算による数学的な解析法を開発した。この方法では、ファジィ数の大小関係をPos(可能性がある)、Nes(必然性がある)の2つの観点からみる方法に基づき、ある時間tに、ある状態(マ-キング)mに可達であるかどうかを2種類のメンバシップ関数μpos(t,m)とμnes(t,m,)で求めることができる。これらよりある時間に到達すべき状態に達する必然性のメンバシップ関数や、ある時間に危険な状態になる可能性のメンバシップ関数を求めることができる。本手法については研究発表1で講演を行った。次にファジィペトリネットの解析ツールの開発を購入したコンピュータ上で行った。この際、前述の数学的な解析法はメンバシップ関数の演算が複雑になりコンピュータ上ではインプリメントするのが困難なためシミュレーションによる解析ツールを作成した。また、シミュレーションで行うことでファジィ時間のみでなく確率発火のトランジションなども含めて処理することが可能になる。本手法については後に発表する予定である。

本研究ではファジィ論理をペトリネットに取いれる手法について考察を行った.手法としてはTimed Petri Net(TPN)に対するものと,Predicate Transition Petri Net(PrTN)に対するものの2つについて考察を行った。具体的にはTPNに対してFuzzy Timed Petri Net(FTPN),すなはち、TPNでは固定時間で与えられるトランジションの発火時間をFUZZY数で表現するものを、PrTNに関しては、Fuzzy Predicate Transition Net (FPrTN)、そなはち、トランジションに与える述語表現をファジィルールを用いるようにしたものを定義した。この2つから特にファジィ時間ペトリネットの解析方法について考察した。まず、ファジィ表現に用いられるメンバシップ関数の演算による数学的な解析法を開発した。この方法では、ファジィ数の大小関係をPos(可能性がある)、Nes(必然性がある)の2つの観点からみる方法に基づき、ある時間tに、ある状態(マ-キング)mに可達であるかどうかを2種類のメンバシップ関数μpos(t,m)とμnes(t,m,)で求めることができる。これらよりある時間に到達すべき状態に達する必然性のメンバシップ関数や、ある時間に危険な状態になる可能性のメンバシップ関数を求めることができる。本手法については研究発表1で講演を行った。次にファジィペトリネットの解析ツールの開発を購入したコンピュータ上で行った。この際、前述の数学的な解析法はメンバシップ関数の演算が複雑になりコンピュータ上ではインプリメントするのが困難なためシミュレーションによる解析ツールを作成した。また、シミュレーションで行うことでファジィ時間のみでなく確率発火のトランジションなども含めて処理することが可能になる。本手法については後に発表する予定である。