Tarafından Programlar peptool.sf.net

PEP farklı modelleme dilleri ve doğrulama teknikleri (örneğin SDL, Petri ağları ve model kontrolü) çok sayıda sağlayan paralel sistemler için bir modelleme ve doğrulama çerçevesidir