ReP USP - Resultado da busca

Artigo de periodico
A systematic modelling procedure to design agent-oriented control to coalition of capabilities: in the context of I4.0 as Virtual Assets (AAS) (2021)
Veiga, Jackson Tavares ; Pessoa, Marcosiris Amorim de Oliveira ; Junqueira, Fabrício ; Miyagi, Paulo Eigi ; Santos Filho, Diolino Jose dos
Source: Computers. Unidade: EP
Subjects: INDÚSTRIA 4.0, SISTEMAS MULTIAGENTES, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
VEIGA, Jackson Tavares et al. A systematic modelling procedure to design agent-oriented control to coalition of capabilities: in the context of I4.0 as Virtual Assets (AAS). Computers, v. 10, n. 12, p. 1-20, 2021Tradução . . Disponível em: https://doi.org/10.3390/computers10120161. Acesso em: 06 ago. 2024.
APA
Veiga, J. T., Pessoa, M. A. de O., Junqueira, F., Miyagi, P. E., & Santos Filho, D. J. dos. (2021). A systematic modelling procedure to design agent-oriented control to coalition of capabilities: in the context of I4.0 as Virtual Assets (AAS). Computers, 10( 12), 1-20. doi:10.3390/computers10120161
NLM
Veiga JT, Pessoa MA de O, Junqueira F, Miyagi PE, Santos Filho DJ dos. A systematic modelling procedure to design agent-oriented control to coalition of capabilities: in the context of I4.0 as Virtual Assets (AAS) [Internet]. Computers. 2021 ; 10( 12): 1-20.[citado 2024 ago. 06 ] Available from: https://doi.org/10.3390/computers10120161
Vancouver
Veiga JT, Pessoa MA de O, Junqueira F, Miyagi PE, Santos Filho DJ dos. A systematic modelling procedure to design agent-oriented control to coalition of capabilities: in the context of I4.0 as Virtual Assets (AAS) [Internet]. Computers. 2021 ; 10( 12): 1-20.[citado 2024 ago. 06 ] Available from: https://doi.org/10.3390/computers10120161
Trabalho de evento
Simulating wood-framing wall panel's production with timed coloured Petri nets (2019)
Correa, Fabiano Rogério
Source: ISARC Proceedings. Conference titles: International Symposium on Automation and Robotics in Construction - ISARC 2019. Unidade: EP
Subjects: GERENCIAMENTO DA CONSTRUÇÃO, CICLO DE VIDA, REDES DE PETRI, SIMULAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CORREA, Fabiano Rogério. Simulating wood-framing wall panel's production with timed coloured Petri nets. 2019, Anais.. Oulu, Finland: IAARC, 2019. Disponível em: https://doi.org/10.22260/ISARC2019/0137. Acesso em: 06 ago. 2024.
APA
Correa, F. R. (2019). Simulating wood-framing wall panel's production with timed coloured Petri nets. In ISARC Proceedings. Oulu, Finland: IAARC. doi:10.22260/ISARC2019/0137
NLM
Correa FR. Simulating wood-framing wall panel's production with timed coloured Petri nets [Internet]. ISARC Proceedings. 2019 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.22260/ISARC2019/0137
Vancouver
Correa FR. Simulating wood-framing wall panel's production with timed coloured Petri nets [Internet]. ISARC Proceedings. 2019 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.22260/ISARC2019/0137
Artigo de periodico
Maintenance strategy optimization of a coal-fired power plant cooling tower through generalized stochastic Petri nets (2019)
Melani, Arthur Henrique de Andrade ; Murad, Carlos Alberto; Caminada Netto, Adherbal; Souza, Gilberto Francisco Martha de ; Nabeta, Silvio Ikuyo
Source: Energies. Unidade: EP
Subjects: SISTEMAS MECÂNICOS (OPERAÇÃO), REDES DE PETRI, USINAS TERMOELÉTRICAS (MANUTENÇÃO), CONFIABILIDADE, REFRIGERAÇÃ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. Maintenance strategy optimization of a coal-fired power plant cooling tower through generalized stochastic Petri nets. Energies, v. 12, n. 10, p. 1-28, 2019Tradução . . Disponível em: https://doi.org/10.3390/en12101951. Acesso em: 06 ago. 2024.
APA
Melani, A. H. de A., Murad, C. A., Caminada Netto, A., Souza, G. F. M. de, & Nabeta, S. I. (2019). Maintenance strategy optimization of a coal-fired power plant cooling tower through generalized stochastic Petri nets. Energies, 12( 10), 1-28. doi:10.3390/en12101951
NLM
Melani AH de A, Murad CA, Caminada Netto A, Souza GFM de, Nabeta SI. Maintenance strategy optimization of a coal-fired power plant cooling tower through generalized stochastic Petri nets [Internet]. Energies. 2019 ; 12( 10): 1-28.[citado 2024 ago. 06 ] Available from: https://doi.org/10.3390/en12101951
Vancouver
Melani AH de A, Murad CA, Caminada Netto A, Souza GFM de, Nabeta SI. Maintenance strategy optimization of a coal-fired power plant cooling tower through generalized stochastic Petri nets [Internet]. Energies. 2019 ; 12( 10): 1-28.[citado 2024 ago. 06 ] Available from: https://doi.org/10.3390/en12101951
Trabalho de evento
In vitro test bench with intelligent behavior to ventricular assist devices (2018)
Dias, Jeferson Cerqueira; Dias, Jônatas Cerqueira ; Silva, Marcelo Barbosa da; Santos Filho, Diolino Jose dos ; Junqueira, Fabrício ; Miyagi, Paulo Eigi ; Cardoso, José Roberto
Source: Proceedings. Conference titles: International Conference on Informatics in Control, Automation and Robotics - ICINCO. Unidade: EP
Subjects: VENTRÍCULO CARDÍACO, REDES DE PETRI, REABILITAÇÃO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DIAS, Jeferson Cerqueira et al. In vitro test bench with intelligent behavior to ventricular assist devices. 2018, Anais.. Porto: INSTICC, 2018. p. 127-134. Disponível em: https://doi.org/10.5220/0006849101270134. Acesso em: 06 ago. 2024.
APA
Dias, J. C., Dias, J. C., Silva, M. B. da, Santos Filho, D. J. dos, Junqueira, F., Miyagi, P. E., & Cardoso, J. R. (2018). In vitro test bench with intelligent behavior to ventricular assist devices. In Proceedings (Vol. 1, p. 127-134). Porto: INSTICC. doi:10.5220/0006849101270134
NLM
Dias JC, Dias JC, Silva MB da, Santos Filho DJ dos, Junqueira F, Miyagi PE, Cardoso JR. In vitro test bench with intelligent behavior to ventricular assist devices [Internet]. Proceedings. 2018 ;1 127-134.[citado 2024 ago. 06 ] Available from: https://doi.org/10.5220/0006849101270134
Vancouver
Dias JC, Dias JC, Silva MB da, Santos Filho DJ dos, Junqueira F, Miyagi PE, Cardoso JR. In vitro test bench with intelligent behavior to ventricular assist devices [Internet]. Proceedings. 2018 ;1 127-134.[citado 2024 ago. 06 ] Available from: https://doi.org/10.5220/0006849101270134
Artigo de periodico
Framework to evaluate the performance and sustainability of a disperse productive system (2018)
Watanabe, Edson Hirokazu ; Silva, Robson Marinho da; Blos, Maurício Fontoura; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Source: Journal of the Brazilian Society of Mechanical Sciences and Engineering. Unidade: EP
Subjects: SUSTENTABILIDADE, SUSTENTABILIDADE, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WATANABE, Edson Hirokazu et al. Framework to evaluate the performance and sustainability of a disperse productive system. Journal of the Brazilian Society of Mechanical Sciences and Engineering, p. 1-27, 2018Tradução . . Disponível em: https://doi.org/10.1007/s40430-018-1032-9. Acesso em: 06 ago. 2024.
APA
Watanabe, E. H., Silva, R. M. da, Blos, M. F., Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2018). Framework to evaluate the performance and sustainability of a disperse productive system. Journal of the Brazilian Society of Mechanical Sciences and Engineering, 1-27. doi:10.1007/s40430-018-1032-9
NLM
Watanabe EH, Silva RM da, Blos MF, Junqueira F, Santos Filho DJ dos, Miyagi PE. Framework to evaluate the performance and sustainability of a disperse productive system [Internet]. Journal of the Brazilian Society of Mechanical Sciences and Engineering. 2018 ; 1-27.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1007/s40430-018-1032-9
Vancouver
Watanabe EH, Silva RM da, Blos MF, Junqueira F, Santos Filho DJ dos, Miyagi PE. Framework to evaluate the performance and sustainability of a disperse productive system [Internet]. Journal of the Brazilian Society of Mechanical Sciences and Engineering. 2018 ; 1-27.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1007/s40430-018-1032-9
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: 06 ago. 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 ago. 06 ] 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 ago. 06 ] Available from: https://doi.org/10.1007/s10270-015-0509-6
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: 06 ago. 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 ago. 06 ] 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 ago. 06 ] 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
Artigo de periodico
Using the enhanced-mark flow graph for dynamic resource allocation in distributed manufacturing (2016)
Asato, Osvaldo Luís ; Pessoa, Marcosiris Amorim de Oliveira ; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Okamoto Junior, Jun ; Miyagi, Paulo Eigi
Source: International Journal of Computer Integrated Manufacturing. Unidade: EP
Subjects: MÁQUINAS-FERRAMENTA, REDES DE PETRI, MECATRÔNICA, SISTEMAS DISCRETOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ASATO, Osvaldo Luís et al. Using the enhanced-mark flow graph for dynamic resource allocation in distributed manufacturing. International Journal of Computer Integrated Manufacturing, v. 29, n. 11, p. 1238-1251, 2016Tradução . . Disponível em: https://doi.org/10.1080/0951192X.2015.1126000. Acesso em: 06 ago. 2024.
APA
Asato, O. L., Pessoa, M. A. de O., Junqueira, F., Santos Filho, D. J. dos, Okamoto Junior, J., & Miyagi, P. E. (2016). Using the enhanced-mark flow graph for dynamic resource allocation in distributed manufacturing. International Journal of Computer Integrated Manufacturing, 29( 11), 1238-1251. doi:10.1080/0951192X.2015.1126000
NLM
Asato OL, Pessoa MA de O, Junqueira F, Santos Filho DJ dos, Okamoto Junior J, Miyagi PE. Using the enhanced-mark flow graph for dynamic resource allocation in distributed manufacturing [Internet]. International Journal of Computer Integrated Manufacturing. 2016 ; 29( 11): 1238-1251.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1080/0951192X.2015.1126000
Vancouver
Asato OL, Pessoa MA de O, Junqueira F, Santos Filho DJ dos, Okamoto Junior J, Miyagi PE. Using the enhanced-mark flow graph for dynamic resource allocation in distributed manufacturing [Internet]. International Journal of Computer Integrated Manufacturing. 2016 ; 29( 11): 1238-1251.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1080/0951192X.2015.1126000
Artigo de periodico
Control architecture and design method of reconfigurable manufacturing systems (2016)
Silva, Robson Marinho da; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Source: Control Engineering Practice. Unidade: EP
Subjects: SISTEMAS DE MANUFATURAS, REDES DE PETRI, ARQUITETURA ORIENTADA A SERVIÇOS, SISTEMAS MULTIAGENTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Robson Marinho da et al. Control architecture and design method of reconfigurable manufacturing systems. Control Engineering Practice, v. 49, p. 87-100, 2016Tradução . . Disponível em: https://doi.org/10.1016/j.conengprac.2016.01.009. Acesso em: 06 ago. 2024.
APA
Silva, R. M. da, Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2016). Control architecture and design method of reconfigurable manufacturing systems. Control Engineering Practice, 49, 87-100. doi:10.1016/j.conengprac.2016.01.009
NLM
Silva RM da, Junqueira F, Santos Filho DJ dos, Miyagi PE. Control architecture and design method of reconfigurable manufacturing systems [Internet]. Control Engineering Practice. 2016 ; 49 87-100.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1016/j.conengprac.2016.01.009
Vancouver
Silva RM da, Junqueira F, Santos Filho DJ dos, Miyagi PE. Control architecture and design method of reconfigurable manufacturing systems [Internet]. Control Engineering Practice. 2016 ; 49 87-100.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1016/j.conengprac.2016.01.009
Artigo de periodico
A Framework to evaluate the performance of disperse productive system through sustainability performance indicators (2015)
Watanabe, Edson Hirokazu; Blos, Maurício Fontoura; Silva, Robson Marinho da; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Source: IFAC-PapersOnLine. Unidade: EP
Subjects: SISTEMAS DE PRODUÇÃO, SUSTENTABILIDADE, REDES DE PETRI, INDICADORES DE PRODUTIVIDADE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
WATANABE, Edson Hirokazu et al. A Framework to evaluate the performance of disperse productive system through sustainability performance indicators. IFAC-PapersOnLine, v. 48, n. 3, p. 1664-1669, 2015Tradução . . Disponível em: https://doi.org/10.1016/j.ifacol.2015.06.269. Acesso em: 06 ago. 2024.
APA
Watanabe, E. H., Blos, M. F., Silva, R. M. da, Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2015). A Framework to evaluate the performance of disperse productive system through sustainability performance indicators. IFAC-PapersOnLine, 48( 3), 1664-1669. doi:10.1016/j.ifacol.2015.06.269
NLM
Watanabe EH, Blos MF, Silva RM da, Junqueira F, Santos Filho DJ dos, Miyagi PE. A Framework to evaluate the performance of disperse productive system through sustainability performance indicators [Internet]. IFAC-PapersOnLine. 2015 ; 48( 3): 1664-1669.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1016/j.ifacol.2015.06.269
Vancouver
Watanabe EH, Blos MF, Silva RM da, Junqueira F, Santos Filho DJ dos, Miyagi PE. A Framework to evaluate the performance of disperse productive system through sustainability performance indicators [Internet]. IFAC-PapersOnLine. 2015 ; 48( 3): 1664-1669.[citado 2024 ago. 06 ] Available from: https://doi.org/10.1016/j.ifacol.2015.06.269
Trabalho de evento
Método para projeto de sistema de controle supervisório considerando flexibilidade de reconfiguração (2014)
Silva, Robson Marinho da; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Moscato, Lucas Antonio ; Miyagi, Paulo Eigi
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: SISTEMAS DE MANUFATURAS, REDES DE PETRI, SISTEMAS DISTRIBUÍDOS, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, Robson Marinho da et al. Método para projeto de sistema de controle supervisório considerando flexibilidade de reconfiguração. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569933267.pdf. Acesso em: 06 ago. 2024.
APA
Silva, R. M. da, Junqueira, F., Santos Filho, D. J. dos, Moscato, L. A., & Miyagi, P. E. (2014). Método para projeto de sistema de controle supervisório considerando flexibilidade de reconfiguração. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569933267.pdf
NLM
Silva RM da, Junqueira F, Santos Filho DJ dos, Moscato LA, Miyagi PE. Método para projeto de sistema de controle supervisório considerando flexibilidade de reconfiguração [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569933267.pdf
Vancouver
Silva RM da, Junqueira F, Santos Filho DJ dos, Moscato LA, Miyagi PE. Método para projeto de sistema de controle supervisório considerando flexibilidade de reconfiguração [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569933267.pdf
Trabalho de evento
Modelagem e simulação de rupturas de cadeias de suprimentos baseados em rede de Petri (2014)
Kano, Célia Hanako; Blos, Maurício Fontoura; Santos Filho, Diolino Jose dos ; Junqueira, Fabrício ; Miyagi, Paulo Eigi
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: SISTEMAS DE MANUFATURAS, REDES DE PETRI, SISTEMAS DISTRIBUÍDOS, CADEIA DE SUPRIMENTOS (MODELAGEM;SIMULAÇÃO)
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KANO, Célia Hanako et al. Modelagem e simulação de rupturas de cadeias de suprimentos baseados em rede de Petri. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569934015.pdf. Acesso em: 06 ago. 2024.
APA
Kano, C. H., Blos, M. F., Santos Filho, D. J. dos, Junqueira, F., & Miyagi, P. E. (2014). Modelagem e simulação de rupturas de cadeias de suprimentos baseados em rede de Petri. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569934015.pdf
NLM
Kano CH, Blos MF, Santos Filho DJ dos, Junqueira F, Miyagi PE. Modelagem e simulação de rupturas de cadeias de suprimentos baseados em rede de Petri [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569934015.pdf
Vancouver
Kano CH, Blos MF, Santos Filho DJ dos, Junqueira F, Miyagi PE. Modelagem e simulação de rupturas de cadeias de suprimentos baseados em rede de Petri [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569934015.pdf
Trabalho de evento
Verification of automated systems using invariants (2014)
Salmon, Arianna Zoila Oliveira; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: REDES DE PETRI, ANÁLISE DE REQUISITOS, ALGORITMOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Oliveira e DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Verification of automated systems using invariants. 2014, Anais.. [Belo Horizonte: Sba/IFAC], 2014. Disponível em: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf. Acesso em: 06 ago. 2024.
APA
Salmon, A. Z. O., Del Foyo, P. M. G., & Silva, J. R. (2014). Verification of automated systems using invariants. In Anais. [Belo Horizonte: Sba/IFAC]. Recuperado de http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
NLM
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
Vancouver
Salmon AZO, Del Foyo PMG, Silva JR. Verification of automated systems using invariants [Internet]. Anais. 2014 ;[citado 2024 ago. 06 ] Available from: http://www.swge.inf.br/CBA2014/anais/PDF/1569935123.pdf
Trabalho de evento
Modeling and simulating interaction protocols using nested Petri nets (2014)
Fernández Venero, Mirtha Lina; Silva, Flávio Soares Corrêa da
Source: Software engineering and formal methods. Conference titles: International Conference on Software Engineering and Formal Methods - SEFM. Unidade: IME
Subjects: PROTOCOLOS DE COMUNICAÇÃO, REDES DE PETRI
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. Modeling and simulating interaction protocols using nested Petri nets. 2014, Anais.. Cham: Springer, 2014. Disponível em: https://doi.org/10.1007/978-3-319-05032-4_11. Acesso em: 06 ago. 2024.
APA
Fernández Venero, M. L., & Silva, F. S. C. da. (2014). Modeling and simulating interaction protocols using nested Petri nets. In Software engineering and formal methods. Cham: Springer. doi:10.1007/978-3-319-05032-4_11
NLM
Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11
Vancouver
Fernández Venero ML, Silva FSC da. Modeling and simulating interaction protocols using nested Petri nets [Internet]. Software engineering and formal methods. 2014 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.1007/978-3-319-05032-4_11
Parte de monografia/livro
Modeling and analysis of global supply chain disruption based on Petri net (2014)
Kano, Célia Hanako; Blos, Maurício Fontoura; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Source: ABCM Symposium Series in Mechatronics. Unidade: EP
Subjects: REDES DE PETRI, SISTEMAS DE PRODUÇÃO, CADEIA DE SUPRIMENTOS, SISTEMAS DISCRETOS, SISTEMAS DE MANUFATURAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
KANO, Célia Hanako et al. Modeling and analysis of global supply chain disruption based on Petri net. ABCM Symposium Series in Mechatronics. Tradução . Rio de Janeiro: ABCM, 2014. . Disponível em: http://www.abcm.org.br/upload/files/PI_I_03.pdf. Acesso em: 06 ago. 2024.
APA
Kano, C. H., Blos, M. F., Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2014). Modeling and analysis of global supply chain disruption based on Petri net. In ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/upload/files/PI_I_03.pdf
NLM
Kano CH, Blos MF, Junqueira F, Santos Filho DJ dos, Miyagi PE. Modeling and analysis of global supply chain disruption based on Petri net [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2014. [citado 2024 ago. 06 ] Available from: http://www.abcm.org.br/upload/files/PI_I_03.pdf
Vancouver
Kano CH, Blos MF, Junqueira F, Santos Filho DJ dos, Miyagi PE. Modeling and analysis of global supply chain disruption based on Petri net [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2014. [citado 2024 ago. 06 ] Available from: http://www.abcm.org.br/upload/files/PI_I_03.pdf
Trabalho de evento
Scheduling real-time systems with periodic tasks using a model-checking approach (2014)
Olivera Salmon, Arianna Zoila; González Del Foyo, Pedro Manuel; Silva, José Reinaldo
Conference titles: International Conference on Industrial Informatics - INDIN. Unidade: EP
Subjects: TEMPO-REAL, INTELIGÊNCIA ARTIFICIAL, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVERA SALMON, Arianna Zoila e GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Scheduling real-time systems with periodic tasks using a model-checking approach. 2014, Anais.. Piscataway: IEEE, 2014. Disponível em: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf. Acesso em: 06 ago. 2024.
APA
Olivera Salmon, A. Z., González Del Foyo, P. M., & Silva, J. R. (2014). Scheduling real-time systems with periodic tasks using a model-checking approach. In . Piscataway: IEEE. Recuperado de https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
NLM
Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
Vancouver
Olivera Salmon AZ, González Del Foyo PM, Silva JR. Scheduling real-time systems with periodic tasks using a model-checking approach [Internet]. 2014 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/47ecedbf-8f18-4720-91ab-a05c900db618/SilvaJ-2014-Scheduling%20real-time%20systems%20with%20periodic%20tasks%20using%20a%20model-checking%20approach%20ok.pdf
Trabalho de evento
Rede de Petri produtiva: exemplo de aplicação em diferentes caracaterísticas em processo produtivos. (2013)
Fattori, Caio Cesar; Oliveira, Gustavo Lopes Duarte; Pontes, Gabriel Souza; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Source: Anais. Conference titles: Simpósio Brasileiro de Automação Inteligente - SBAI. Unidade: EP
Subjects: REDES DE PETRI, SISTEMAS DISCRETOS, EMPRESAS VIRTUAIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
FATTORI, Caio Cesar et al. Rede de Petri produtiva: exemplo de aplicação em diferentes caracaterísticas em processo produtivos. 2013, Anais.. Campinas: SBA, 2013. Disponível em: https://repositorio.usp.br/directbitstream/2aa421ce-d2a1-4c29-917b-1b8114a494fd/Miyagi-2013-Rede%20de%20petri%20produtivo%20exemplo%20de%20aplica%C3%A7%C3%A3o%20ok.pdf. Acesso em: 06 ago. 2024.
APA
Fattori, C. C., Oliveira, G. L. D., Pontes, G. S., Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2013). Rede de Petri produtiva: exemplo de aplicação em diferentes caracaterísticas em processo produtivos. In Anais. Campinas: SBA. Recuperado de https://repositorio.usp.br/directbitstream/2aa421ce-d2a1-4c29-917b-1b8114a494fd/Miyagi-2013-Rede%20de%20petri%20produtivo%20exemplo%20de%20aplica%C3%A7%C3%A3o%20ok.pdf
NLM
Fattori CC, Oliveira GLD, Pontes GS, Junqueira F, Santos Filho DJ dos, Miyagi PE. Rede de Petri produtiva: exemplo de aplicação em diferentes caracaterísticas em processo produtivos. [Internet]. Anais. 2013 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/2aa421ce-d2a1-4c29-917b-1b8114a494fd/Miyagi-2013-Rede%20de%20petri%20produtivo%20exemplo%20de%20aplica%C3%A7%C3%A3o%20ok.pdf
Vancouver
Fattori CC, Oliveira GLD, Pontes GS, Junqueira F, Santos Filho DJ dos, Miyagi PE. Rede de Petri produtiva: exemplo de aplicação em diferentes caracaterísticas em processo produtivos. [Internet]. Anais. 2013 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/2aa421ce-d2a1-4c29-917b-1b8114a494fd/Miyagi-2013-Rede%20de%20petri%20produtivo%20exemplo%20de%20aplica%C3%A7%C3%A3o%20ok.pdf
Trabalho de evento
Informatics system for supervision and control of processes with mobile devices (2013)
Astorga González, Elizabeth M; Acosta González, Roberto; Milá Ortiz, Pedro; Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo
Source: Anais. Conference titles: Simpósio Brasileiro de Automação Inteligente - SBAI. Unidade: EP
Subjects: REDES DE PETRI, AUTOMAÇÃO INDUSTRIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ASTORGA GONZÁLEZ, Elizabeth M et al. Informatics system for supervision and control of processes with mobile devices. 2013, Anais.. Campinas: SBA, 2013. Disponível em: https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf. Acesso em: 06 ago. 2024.
APA
Astorga González, E. M., Acosta González, R., Milá Ortiz, P., Del Foyo, P. M. G., & Silva, J. R. (2013). Informatics system for supervision and control of processes with mobile devices. In Anais. Campinas: SBA. Recuperado de https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf
NLM
Astorga González EM, Acosta González R, Milá Ortiz P, Del Foyo PMG, Silva JR. Informatics system for supervision and control of processes with mobile devices [Internet]. Anais. 2013 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf
Vancouver
Astorga González EM, Acosta González R, Milá Ortiz P, Del Foyo PMG, Silva JR. Informatics system for supervision and control of processes with mobile devices [Internet]. Anais. 2013 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/4ac6f03e-d431-43f5-b4c6-d5cb711c6991/Silva_JR-2013-INFORMATICS%20SYSTEM%20FOR%20SUPERVISION-SB.pdf
Trabalho de evento
Modelagem da rede de trens urbanos em rede de Petri utilizando o google maps (2013)
Yamada, Cinthia; Silva, Marcelo Ferreira Morais; Miyagi, Paulo Eigi ; Junqueira, Fabrício
Source: Anais. Conference titles: Simpósio Brasileiro de Automação Inteligente - SBAI. Unidade: EP
Subjects: REDES DE PETRI, TRANSPORTE FERROVIÁRIO
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
YAMADA, Cinthia et al. Modelagem da rede de trens urbanos em rede de Petri utilizando o google maps. 2013, Anais.. Campinas: SBA, 2013. Disponível em: https://repositorio.usp.br/directbitstream/fe55756e-d9f7-4409-bebd-771abf27eb22/JunqueiraF-2013-Modelagem%20da%20rede%20de%20trens%20urbanos%20em%20rede%20de%20petri%20ok.pdf. Acesso em: 06 ago. 2024.
APA
Yamada, C., Silva, M. F. M., Miyagi, P. E., & Junqueira, F. (2013). Modelagem da rede de trens urbanos em rede de Petri utilizando o google maps. In Anais. Campinas: SBA. Recuperado de https://repositorio.usp.br/directbitstream/fe55756e-d9f7-4409-bebd-771abf27eb22/JunqueiraF-2013-Modelagem%20da%20rede%20de%20trens%20urbanos%20em%20rede%20de%20petri%20ok.pdf
NLM
Yamada C, Silva MFM, Miyagi PE, Junqueira F. Modelagem da rede de trens urbanos em rede de Petri utilizando o google maps [Internet]. Anais. 2013 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/fe55756e-d9f7-4409-bebd-771abf27eb22/JunqueiraF-2013-Modelagem%20da%20rede%20de%20trens%20urbanos%20em%20rede%20de%20petri%20ok.pdf
Vancouver
Yamada C, Silva MFM, Miyagi PE, Junqueira F. Modelagem da rede de trens urbanos em rede de Petri utilizando o google maps [Internet]. Anais. 2013 ;[citado 2024 ago. 06 ] Available from: https://repositorio.usp.br/directbitstream/fe55756e-d9f7-4409-bebd-771abf27eb22/JunqueiraF-2013-Modelagem%20da%20rede%20de%20trens%20urbanos%20em%20rede%20de%20petri%20ok.pdf
Trabalho de evento
Dynamic control of resource allocation considering multifunctional machine tools (2013)
Asato, Osvaldo Luís ; Sá, Lucas Santos Cardozo de ; Pessoa, Marcosiris Amorim de Oliveira ; Junqueira, Fabrício ; Santos Filho, Diolino Jose dos ; Miyagi, Paulo Eigi
Conference titles: IFAC Intelligent Autonomous Vehicles Symposium. Unidade: EP
Subjects: DINÂMICA, REDES DE PETRI, MÁQUINAS-FERRAMENTA, ALGORITMOS GENÉTICOS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
ASATO, Osvaldo Luís et al. Dynamic control of resource allocation considering multifunctional machine tools. 2013, Anais.. Kidlington: IFAC, 2013. Disponível em: https://doi.org/10.3182/20130626-3-AU-2035.00051. Acesso em: 06 ago. 2024.
APA
Asato, O. L., Sá, L. S. C. de, Pessoa, M. A. de O., Junqueira, F., Santos Filho, D. J. dos, & Miyagi, P. E. (2013). Dynamic control of resource allocation considering multifunctional machine tools. In . Kidlington: IFAC. doi:10.3182/20130626-3-AU-2035.00051
NLM
Asato OL, Sá LSC de, Pessoa MA de O, Junqueira F, Santos Filho DJ dos, Miyagi PE. Dynamic control of resource allocation considering multifunctional machine tools [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.3182/20130626-3-AU-2035.00051
Vancouver
Asato OL, Sá LSC de, Pessoa MA de O, Junqueira F, Santos Filho DJ dos, Miyagi PE. Dynamic control of resource allocation considering multifunctional machine tools [Internet]. 2013 ;[citado 2024 ago. 06 ] Available from: https://doi.org/10.3182/20130626-3-AU-2035.00051

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories

Funding Agencies

Indexado em

Normalized affiliation

Non normalized affiliation