◎井出和人・和崎克己（信州大）

離散事象システムにおけるモデル化手法の一つにペトリネットがある．ペトリネットは視覚的で，かつ数学的なモデル化ツールである．筆者らの研究グループでは，ペトリネットの設計解析援用ツールHiPSを開発している．活性で安全な自由選択ネットは，強連結なMG-成分で覆われており，さらに，すべての成分が活性で安全なマークグラフとなるような初期マーキングから可達なマーキングが存在する．ペトリネットをマークグラフへと分割することはシステムの動作・性質を解析するうえで有用である．本研究では，活性で安全な自由選択ネットをマークグラフへと分割するアルゴリズムの提案およびHiPSへの実装を行った．