Programma's van peptool.sf.net

PEP is een modellerings- en verificatiekader voor parallelle systemen, dat een groot aantal verschillende modelleringstalen en verificatietechnieken biedt (bijvoorbeeld SDL, Petri netten en modelcontrole)