Geração e análise dinâmica do espaço de estados de redes de Petri com uso interati...
Deteccao de falhas em sistemas flexiveis de montagem atraves de redes de petri.
Modelagem e análise de serviços de saúde: aplicação da Rede de Petri e simulação d...
Editor de rede de petri: implementacao de um modulo estocastico para analise de cu...
Petri net tools: desenvolvimento e implementacao de template para rede de petri vi...
Editor e simulador de sistemas a eventos discretos baseado em rede de Petri