ReP USP - Resultado da busca

Artigo de periodico
Model checking multi-level and recursive nets (2017)
Fernández Venero, Mirtha Lina; Silva, Flávio Soares Corrêa da
Source: Software and Systems Modeling. Unidade: IME
Subjects: PROTOCOLOS DE COMUNICAÇÃO, REDES DE PETRI, ENGENHARIA DE SOFTWARE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FERNÁNDEZ VENERO, Mirtha Lina e SILVA, Flávio Soares Corrêa da. Model checking multi-level and recursive nets. Software and Systems Modeling, v. 16, n. 4, p. 1117–1144, 2017Tradução . . Disponível em: https://doi.org/10.1007/s10270-015-0509-6. Acesso em: 11 set. 2024.
APA
Fernández Venero, M. L., & Silva, F. S. C. da. (2017). Model checking multi-level and recursive nets. Software and Systems Modeling, 16( 4), 1117–1144. doi:10.1007/s10270-015-0509-6
NLM
Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2024 set. 11 ] Available from: https://doi.org/10.1007/s10270-015-0509-6
Vancouver
Fernández Venero ML, Silva FSC da. Model checking multi-level and recursive nets [Internet]. Software and Systems Modeling. 2017 ; 16( 4): 1117–1144.[citado 2024 set. 11 ] Available from: https://doi.org/10.1007/s10270-015-0509-6
Tese (Doutorado)
Arquitetura para descoberta de equipamentos em processos de manufatura com foco na indústria 4.0 (2017)
Pisching, Marcos André ; Junqueira, Fabrício (Orientador)
Unidade: EP
Subjects: INDÚSTRIA 4.0, AUTOMAÇÃO INDUSTRIAL, INTERNET DAS COISAS, ARQUITETURA ORIENTADA A SERVIÇOS, REDES DE PETRI, MANUFATURA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
PISCHING, Marcos André. Arquitetura para descoberta de equipamentos em processos de manufatura com foco na indústria 4.0. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05032018-133720/. Acesso em: 11 set. 2024.
APA
Pisching, M. A. (2017). Arquitetura para descoberta de equipamentos em processos de manufatura com foco na indústria 4.0 (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05032018-133720/
NLM
Pisching MA. Arquitetura para descoberta de equipamentos em processos de manufatura com foco na indústria 4.0 [Internet]. 2017 ;[citado 2024 set. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05032018-133720/
Vancouver
Pisching MA. Arquitetura para descoberta de equipamentos em processos de manufatura com foco na indústria 4.0 [Internet]. 2017 ;[citado 2024 set. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-05032018-133720/
Tese (Doutorado)
Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri (2017)
Salmon, Arianna Zoila Olivera; Silva, José Reinaldo (Orientador)
Unidade: EP
Subjects: ANÁLISE DE REQUISITOS, REDES DE PETRI, UML
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Olivera. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/. Acesso em: 11 set. 2024.
APA
Salmon, A. Z. O. (2017). Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
NLM
Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 set. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
Vancouver
Salmon AZO. Modelagem e análise de requisitos de sistemas automatizados usando UML e Redes de Petri [Internet]. 2017 ;[citado 2024 set. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3152/tde-11072017-143010/
Tese (Doutorado)
Tecnologias adaptativas aplicadas na flexibilização de redes neurais artificiais e redes de Petri (2017)
Guibu, Haroldo Issao; José Neto, João (Orientador)
Unidade: EP
Subjects: REDES NEURAIS, REDES DE PETRI, APRENDIZADO COMPUTACIONAL, SISTEMAS DE APOIO À DECISÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
GUIBU, Haroldo Issao. Tecnologias adaptativas aplicadas na flexibilização de redes neurais artificiais e redes de Petri. 2017. Tese (Doutorado) – Universidade de São Paulo, São Paulo, 2017. Disponível em: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05032018-103943/. Acesso em: 11 set. 2024.
APA
Guibu, H. I. (2017). Tecnologias adaptativas aplicadas na flexibilização de redes neurais artificiais e redes de Petri (Tese (Doutorado). Universidade de São Paulo, São Paulo. Recuperado de http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05032018-103943/
NLM
Guibu HI. Tecnologias adaptativas aplicadas na flexibilização de redes neurais artificiais e redes de Petri [Internet]. 2017 ;[citado 2024 set. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05032018-103943/
Vancouver
Guibu HI. Tecnologias adaptativas aplicadas na flexibilização de redes neurais artificiais e redes de Petri [Internet]. 2017 ;[citado 2024 set. 11 ] Available from: http://www.teses.usp.br/teses/disponiveis/3/3141/tde-05032018-103943/
Trabalho de evento
Petri net based realiability analysis of thermoelectric plant cooling tower (2017)
Melani, Arthur Henrique de Andrade ; Murad, Carlos Alberto; Souza, Gilberto Francisco Martha de ; Caminada Netto, Adherbal; Nabeta, Silvio Ikuyo
Source: Anais. Conference titles: International Congress of Mechanical Engineering - COBEM. Unidade: EP
Subjects: ANALISE DE RISCO, REDES DE PETRI, USINA TERMOELÉTRICA, CARVÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
MELANI, Arthur Henrique de Andrade et al. Petri net based realiability analysis of thermoelectric plant cooling tower. 2017, Anais.. Rio De Janeiro: Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM, 2017. Disponível em: https://www.researchgate.net/profile/Arthur-Melani/publication/323203802_Petri_Net_based_reliability_analysis_of_thermoelectric_plant_cooling_tower/links/5b1c6bb445851587f29e5881/Petri-Net-based-reliability-analysis-of-thermoelectric-plant-cooling-tower.pdf. Acesso em: 11 set. 2024.
APA
Melani, A. H. de A., Murad, C. A., Souza, G. F. M. de, Caminada Netto, A., & Nabeta, S. I. (2017). Petri net based realiability analysis of thermoelectric plant cooling tower. In Anais. Rio De Janeiro: Associação Brasileira de Engenharia e Ciências Mecânicas - ABCM. Recuperado de https://www.researchgate.net/profile/Arthur-Melani/publication/323203802_Petri_Net_based_reliability_analysis_of_thermoelectric_plant_cooling_tower/links/5b1c6bb445851587f29e5881/Petri-Net-based-reliability-analysis-of-thermoelectric-plant-cooling-tower.pdf
NLM
Melani AH de A, Murad CA, Souza GFM de, Caminada Netto A, Nabeta SI. Petri net based realiability analysis of thermoelectric plant cooling tower [Internet]. Anais. 2017 ;[citado 2024 set. 11 ] Available from: https://www.researchgate.net/profile/Arthur-Melani/publication/323203802_Petri_Net_based_reliability_analysis_of_thermoelectric_plant_cooling_tower/links/5b1c6bb445851587f29e5881/Petri-Net-based-reliability-analysis-of-thermoelectric-plant-cooling-tower.pdf
Vancouver
Melani AH de A, Murad CA, Souza GFM de, Caminada Netto A, Nabeta SI. Petri net based realiability analysis of thermoelectric plant cooling tower [Internet]. Anais. 2017 ;[citado 2024 set. 11 ] Available from: https://www.researchgate.net/profile/Arthur-Melani/publication/323203802_Petri_Net_based_reliability_analysis_of_thermoelectric_plant_cooling_tower/links/5b1c6bb445851587f29e5881/Petri-Net-based-reliability-analysis-of-thermoelectric-plant-cooling-tower.pdf

USP Schools

ReP

Filtros

Authors

USP affiliated authors

Subjects