Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
31 |
Material Type: Livro
|
Advances in Petri Nets 1992Rozenberg Grzegorz Rozenberg; ESPRIT Basic Research Action 3148 "DEMON."Springer Berlin Heidelberg 1992Acesso online. A biblioteca também possui exemplares impressos. |
|
32 |
Material Type: Dissertação de Mestrado
|
Vigilância dependente automática no controle de tráfego aéreo: avaliação de risco baseada em modelagem em redes de Petri fluidas e estocásticas.Vismari, Lúcio FlávioBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2007-09-21Acesso online. A biblioteca também possui exemplares impressos. |
|
33 |
Material Type: Dissertação de Mestrado
|
Modelagem e análise de políticas de segurança em sistemas com regras associadas ao negócio.Ortega, Fábio José MunerattiBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-09-25Acesso online. A biblioteca também possui exemplares impressos. |
|
34 |
Material Type: Tese de Doutorado
|
Verificação formal de sistemas discretos distribuídos.González Del Foyo, Pedro ManuelBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2009-12-07Acesso online. A biblioteca também possui exemplares impressos. |
|
35 |
Material Type: Dissertação de Mestrado
|
Aplicação de redes de Petri interpretadas na modelagem de sistemas de elevadores em edifícios inteligentes.Bastidas Gustin, Gladys DeifanBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2000-01-27Acesso online. A biblioteca também possui exemplares impressos. |
|
36 |
Material Type: Tese de Doutorado
|
Sistema de controle para diagnóstico e tratamento de falhas em dispositivos de assistência ventricular.Cavalheiro, André César MartinsBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2013-11-14Acesso online. A biblioteca também possui exemplares impressos. |
|
37 |
Material Type: Dissertação de Mestrado
|
Modelagem de sistema C³I para navios de guerra através de Redes de Petri.Valencia Reyes, Roger IsraelBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2004-11-12Acesso online. A biblioteca também possui exemplares impressos. |
|
38 |
Material Type: Dissertação de Mestrado
|
Modelagem e análise de performance de sistemas flexíveis de manufatura baseado em redes de Petri temporizadas: estudo de caso na indústria automobilística.Santos, Rossini Sálvio Bomfim DosBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2008-06-20Acesso online. A biblioteca também possui exemplares impressos. |
|
39 |
Material Type: Dissertação de Mestrado
|
Modelagem e análise de sistemas flexíveis de manufatura tolerantes à falhas baseado em rede Bayesiana e rede de Petri.Gomez Morales, Roy AndresBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2009-10-02Acesso online. A biblioteca também possui exemplares impressos. |
|
40 |
Material Type: Tese de Doutorado
|
Modelagem e análise de sistemas distribuídos e abertos para automação predial.Bastidas Gustin, Gladys DeifanBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2005-11-04Acesso online. A biblioteca também possui exemplares impressos. |