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
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/
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/
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/
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