Durante a minha graduação fiz uma disciplina de sistemas distribuídos ai o professor usava redes de petri para fazer os exemplos e na pratica para criar os esquemas usou uma ferramenta chamada CPNTools. Para ser sincero seu simulador parece muito mais agradável de se utilizar.