Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Dissertação de Mestrado
|
Análise quantitativa de sistemas de manufatura: abordagem baseada em redes GSPN (Generalized Stochastic Petri Nets).Arata, Wilson MunemassaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 1994-07-20Acesso online. A biblioteca também possui exemplares impressos. |
|
2 |
Material Type: Livro
|
Applying Petri nets to requirements validationJosé Reinaldo Silva 1955- Eston Almança dos SantosAdamowski, Julio; Tamai, Edilson Hiroshi; Villani, Emília; Miyagi, Paulo Eigi, ed Mechatronics Rio de Janeiro : ABCM, 2004Rio de Janeiro ABCM 2004Acesso online |
|
3 |
Material Type: Tese de Doutorado
|
Ambiente para o projeto de intertravamentos utilizando redes de PetriKato, Edilson Reis RodriguesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 1999-11-29Acesso online. A biblioteca também possui exemplares impressos. |
|
4 |
Material Type: Dissertação de Mestrado
|
Modelagem de custos em sistemas de manufatura utilizando redes de Petri.Silva, Andrea Ribari Yoshizawa DaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola de Engenharia de São Carlos 2002-06-10Acesso online |
|
5 |
Material Type: Dissertação de Mestrado
|
Modelagem de sistema de controle de ar condicionado baseado em redes de Petri.Almeida, Antonio Gabriel SouzaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2008-10-16Acesso online. A biblioteca também possui exemplares impressos. |
|
6 |
Material Type: Tese de Doutorado
|
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri.Salmon, Arianna Zoila OliveraBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2017-04-18Acesso online. A biblioteca também possui exemplares impressos. |
|
7 |
Material Type: Dissertação de Mestrado
|
PROTEUM-RS/PN: uma ferramenta para a validação de redes de Petri baseada na análise de mutantes.Simão, Adenilso Da SilvaBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Ciências Matemáticas e de Computação 2000-03-17Acesso online. A biblioteca também possui exemplares impressos. |
|
8 |
Material Type: Dissertação de Mestrado
|
Fluxo de dados em redes de Petri coloridas e em grafos orientados a atoresBorges, Grace Anne PontesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Instituto de Matemática e Estatística 2008-09-11Acesso online. A biblioteca também possui exemplares impressos. |
|
9 |
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. |
|
10 |
Material Type: Dissertação de Mestrado
|
Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas.Eboli, Mônica GoesBiblioteca Digital de Teses e Dissertações da USP; Universidade de São Paulo; Escola Politécnica 2010-07-01Acesso online. A biblioteca também possui exemplares impressos. |