プログラム peptool.sf.net

PEPは並列システムのモデリングと検証のフレームワークであり、多数の異なるモデリング言語と検証技術(SDL、ペトリネット、モデルチェックなど)を提供します。