Process Analysis Toolkit 3.5.1 estaba disponible para descargar desde el sitio web del desarrollador cuando lo revisamos. No podemos garantizar que la descarga gratituita esté disponible. Este programa es compatible con versiones de 64 bits de Windows 7/8/10/11.
Las versiones 3.5, 3.4 y 3.0 son las más descargadas por los usuarios del programa. Se recomienda verificar los archivos descargados con un antivirus gratuito, ya que no podemos garantizar que sean seguros. Originariamente, esta herramienta sin coste la diseñó Semantic Engineering. El programa forma parte del grupo de aplicaciones sobre Desarrollo.
Del desarrollador:
PAT is a self-contained framework for the support of composing, simulating and reasoning of concurrent, real-time systems and other possible domains. It comes with user friendly interfaces, featured model editor and animated simulator. Most importantly, PAT implements various model checking techniques catering for different properties such as deadlock-freeness, divergence-freeness, reachability and other.
Quizás esté interesado en probar otros programas, como Connectivity Analysis Toolkit, que podrían ser parecidos a Process Analysis Toolkit.