Chương trình theo peptool.sf.net

PEP là một khuôn khổ mô hình hóa và xác minh cho các hệ thống song song, cung cấp một số lượng lớn các ngôn ngữ mô hình hóa và kỹ thuật xác minh khác nhau (ví dụ: SDL, lưới Petri và kiểm tra mô hình)