線形論理によるペトリネット設計の一手法とその実装

摘要

ぁらまし　 本論文では，対象システムの仕様を満足するベトリネットを機械的に構成するための設計法の確立を目指し，ベトリネットの仕様記述形式としてのP牝エ（線形論理の部分体系）を導入し，PⅣ比で記述された仕様を満たすベトリネッほ機械的に構成するためのアルゴリズムを考案した。 そして，そのアルゴリズムに基づいた設計支援ツールを実装することにより，PⅣ比で記述された仕様を人力することで，その仕様を満たすベトリネットを自動的に構成することが可能となった．