抄録
ペトリネットは並行的，非同期的，分散的な離散事象システムの特徴を図的に表現できるモデルである．言語に基づくスーパバイザ制御法や故障診断法をペトリネットに適用するには，その振舞いを有限オートマトンで記述する必要がある．しかし，非有界ペトリネットに対しては，到達可能グラフの状態数は無限となり，その振舞いは一般に有限オートマトンでは記述できない．そのような場合には，無限個の状態をもつ到達可能グラフを有限オートマトンで近似し，その近似モデルに対して，スーパバイザや診断器を構成することが考えられる．非有界ペトリネットの到達可能グラフは，被覆グラフと呼ばれる有限オートマトンによって近似できることが知られている．本稿では，被覆グラフとは異なる有限近似を求める方法を提案する．
