Software de análise e modelagem de Redes de Petri Ordinária e controle de sistemas discrétos distribuidos.