Resultado pesquisa

Instituto de Ciências Matemáticas e de Computação

2000

Soares, João Borsoi

Editor de modelos de sistemas de eventos discretos, baseado em redes de Petri in...

Escola de Engenharia de São Carlos

2001

Souza, Fábio da Costa

Desenvolvimento de metodologia de aplicação de redes de Petri para automação de sistemas...

Sistemas de Potência

2006

Vismari, Lúcio Flávio

Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco...

Sistemas Digitais

Engenharia de Controle e Automação Mecânica

2007

Alves, Gustavo Ribeiro

Sistema computacional de representação e manipulação de redes de Petri

2006

Arata, Wilson Munemassa

Análise quantitativa de sistemas de manufatura: abordagem baseada em redes GSPN (Generalized...

Engenharia de Controle e Automação Mecânica

1994

Chen, Rodrigo Chanyon

Automação informada baseada em redes de Petri e RFID: estudo de caso para um sistema...

Nonato, Silmara Aparecida

2007

Utilização de Redes de Petri para Avaliação de Sistemas Computacionais

Ciências de Computação e Matemática Computacional

Instituto de Ciências Matemáticas e de Computação

1999

Santos, Eston Almança dos

Verificação de requisitos de sistemas utilizando redes de Petri

2002

Sasaki, Edson Mitsuo

Aplicação de Redes de Petri automodificáveis em sistemas de manufatura