Programy według peptool.sf.net

PEP jest ramą modelowania i weryfikacji systemów równoległych, zapewniającą dużą liczbę różnych języków modelowania i technik weryfikacji (np. sieci SDL, Petriego i sprawdzanie modelu)