シーケンス制御システムのマルチエージェントネットモデル導出手法

摘要

大規模システムの制御においては，人間にとって直観的に分かり易い簡単な制御ルールの組み合わせがしばしば用いられる．制御ルールベースの大規模化に伴い，ルール間の整合性や，その制御の下での物理システムの挙動が問題となり，その検査手法が望まれている．本論文では，制御ルールのSFCモデル，制緬対象のペトリネットモデルが与えられていると仮定して，システムの検証に用いるためのマルチエージェントネットモデルの導出手法を示す．