有限オートマトンによる非有界ペトリネットの到達可能グラフの有限近似

摘要

ペトリネットの振舞いはその到達可能グラフによって記述される．しかし，非有界ペトリネットの到達可能グラフの状態数は無限となる．非有界ペトリネットに対しては，その有限近似を構成することで，言語に基づくスーパバイザ制御法や故障診断法を適用することができる．そして非有界ペトリネットの到達可能グラフは，被覆グラフと呼ばれる有限オートマトンによって近似できることが知られている．本稿では，被覆グラフとは異なる有限近似を求める方法を提案する．そして，その提案方法により，被覆グラフよりも良い有限近似が得られる場合を例題によって示す．