Los sistemas no Markovianos representan casi todos los procesos estocásticos, excepto una pequeña clase que tiene la propiedad de Markov; es un desafío real analizar estos sistemas. En este artículo, presentamos un método general para analizar sistemas no Markovianos. El enfoque novedoso se da mediante el uso de un cálculo compacto de procesos estocásticos desarrollado en el marco formal de la informática para describir sistemas concurrentes. Dado que las distribuciones de tipo fase pueden aproximar sistemas no Markovianos con precisión arbitraria, aproximamos un sistema no Markoviano describiéndolo fácilmente en nuestro cálculo de procesos estocásticos, que emplea distribuciones de tipo fase. Los procesos obtenidos (en nuestro cálculo) se traducen luego en el verificador de modelos probabilísticos PRISM; mediante esta herramienta de software gratuita, podemos analizar varias propiedades cuantitativas de la aproximación Markoviana del sistema no Markoviano inicial.