Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
---|---|---|---|
1 |
Material Type: Artigo
|
O potencial das redes de Petri em modelagem e análise de processos de negócio The potencial of Petri nets in modeling and analysis of workflowSílvia Inês Dallavalle de Pádua ; Andrea Ribari Yoshizawa da Silva ; Arthur José Vieira Porto ; Ricardo Yassushi InamasuGestão & produção, 2004-04, Vol.11 (1), p.109-119 [Periódico revisado por pares]Universidade Federal de São CarlosTexto completo disponível |
|
2 |
Material Type: Artigo de Congresso
|
Ambientes de simulação de sistemas a eventos discretos, com interface da realidade virtual, aplicados a sistemas de manufatura [CD-ROM]Jandira Guenka Palma Arthur José Vieira Porto; Congresso Brasileiro de Engenharia Mecânica (16. 2001 Uberlândia); Brazilian Congress of Mechanical Engineering (16th 2001 Uberlândia)Anais Uberlândia : ABCM, 2001Uberlândia ABCM 2001Item não circula. Consulte sua biblioteca.(Acessar) |
|
3 |
Material Type: Tese
|
Utilização de diagramas de decisão multi-valorada para representação do espaço de estados atingível em redes de autômatos estocásticosPontifícia Universidade Católica do Rio Grande do Sul 2008Texto completo disponível |
|
4 |
Material Type: Artigo de Congresso
|
A review of modeling and simulation of autonomous mobile robots aided by simulation software and Petri netsAndrea Ribari Yoshizawa Hilano José Rocha de Carvalho; Arthur José Vieira Porto; Ricardo Yassushi Inamasu; International Congress of Mechanical Engineering (18. 2005 Ouro Preto)Proceedings of the COBEM 2005 Rio de Janeiro : ABCM, 2005Rio de Janeiro ABCM 2005Item não circula. Consulte sua biblioteca.(Acessar) |
|
5 |
Material Type: Artigo de Congresso
|
Modelo de implementação de um template para rede de petri virtual aplicada a sistemas de manufatura automatizadosPatrícia Ferraz Ricardo Yassushi Inamasu; Arthur José Vieira Porto; Congresso Brasileiro de Engenharia Mecânica (16. 2001 Uberlândia); Brazilian Congress of Mechanical Engineering (16th 2001 Uberlândia)Anais Uberlândia : ABCM, 2001Uberlândia ABCM 2001Item não circula. Consulte sua biblioteca.(Acessar) |
|
6 |
Material Type: Tese
|
Geração de casos de teste para a interface de usuário de sistemas de gerência de workflowPontifícia Universidade Católica do Rio Grande do Sul 2008Texto completo disponível |
|
7 |
Material Type: Tese
|
Uma metodologia para especificar interação 3D utilizando Redes de PetriPontifícia Universidade Católica do Rio Grande do Sul 2007Texto completo disponível |
|
8 |
Material Type: Artigo
|
VALIDATING THE BEHAVIOR OF A SUPERVISED SYSTEM USING PETRI NETSParra Ortega, Carlos Arturo ; GUZMÁN LUNA, JAIME ALBERTODyna (Medellín, Colombia), 2012-06, Vol.79 (173), p.113-121 [Periódico revisado por pares]Bogota: Universidad Nacional de ColombiaTexto completo disponível |
|
9 |
Material Type: Artigo
|
Programación por demostración de la secuencia de apretar una tuerca admitiendo variaciones en posición de la llaveHoyos-Gutiérrez, José G. ; Prieto-Ortiz, Flavio A.Tecno - Lógicas (Instituto Tecnológico Metropolitano), 2016-01, Vol.19 (36), p.77-90Medellin: Instituto Tecnológico MetropolitanoTexto completo disponível |
|
10 |
Material Type: Artigo de Congresso
|
Modeling of a control architecture for a mini-robot navigation using Petri netsHilano José Rocha de Carvalho Rafael Vieira de Sousa; Andrea Ribari Yoshizawa; Arthur José Vieira Porto; Ricardo Yassushi Inamasu; International Congress of Mechanical Engineering (18. 2005 Ouro Preto)Proceedings of the COBEM 2005 Rio de Janeiro : ABCM, 2005Rio de Janeiro ABCM 2005Item não circula. Consulte sua biblioteca.(Acessar) |