Filtros : "Silva, José Reinaldo" "ABCM" Removidos: "Indexado no: Scopus" "Aerospace Technical Center, Aeronautics and Space Institute. São José dos Campos, SP, Brazil" "Holanda" "Proceedings of ENCIT" Limpar

Filtros



Refine with date range


  • Source: ABCM Symposium Series in Mechatronics. Unidade: EP

    Subjects: SISTEMAS DE INFORMAÇÃO, AUTOMAÇÃO INDUSTRIAL, SISTEMAS DE MANUFATURAS

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      OLIVEIRA, Valter Castelhano de e SILVA, José Reinaldo. Process oriented design service: case study for automated information systems. ABCM Symposium Series in Mechatronics. Tradução . Rio de Janeiro: ABCM, 2012. . Disponível em: http://www.abcm.org.br/symposium-series/SSM_Vol5/Section_IV_Industrial_Informatics_Discrete_and_Hybrid_Systems/06432.pdf. Acesso em: 11 jul. 2024.
    • APA

      Oliveira, V. C. de, & Silva, J. R. (2012). Process oriented design service: case study for automated information systems. In ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposium-series/SSM_Vol5/Section_IV_Industrial_Informatics_Discrete_and_Hybrid_Systems/06432.pdf
    • NLM

      Oliveira VC de, Silva JR. Process oriented design service: case study for automated information systems [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2012. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposium-series/SSM_Vol5/Section_IV_Industrial_Informatics_Discrete_and_Hybrid_Systems/06432.pdf
    • Vancouver

      Oliveira VC de, Silva JR. Process oriented design service: case study for automated information systems [Internet]. In: ABCM Symposium Series in Mechatronics. Rio de Janeiro: ABCM; 2012. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposium-series/SSM_Vol5/Section_IV_Industrial_Informatics_Discrete_and_Hybrid_Systems/06432.pdf
  • Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: REDES DE PETRI (MODELAGEM), CONTROLE DE PROCESSOS, GESTÃO POR PROCESSOS, LÓGICA

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      DEL FOYO, Pedro Manuel Gonzalez e SILVA, José Reinaldo. Using time petri nets for modeling and verification of timed constrained workflow systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf. Acesso em: 11 jul. 2024.
    • APA

      Del Foyo, P. M. G., & Silva, J. R. (2007). Using time petri nets for modeling and verification of timed constrained workflow systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
    • NLM

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
    • Vancouver

      Del Foyo PMG, Silva JR. Using time petri nets for modeling and verification of timed constrained workflow systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/429dee87-f574-4ccd-be57-40fd4c282083/Silva_JR-2007-Using%20time%20petri%20nets%20for%20modeling%20and%20verification%20of%20timed%20constrained%20workflow%20systems.Cobem.pdf
  • Source: Proceedings of COBEM. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: INTELIGÊNCIA ARTIFICIAL, SISTEMAS FLEXÍVEIS DE MANUFATURA, AUTOMAÇÃO INDUSTRIAL, ESPECIFICAÇÃO DE SISTEMAS E PROGRAMAS

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      VAQUERO, Tiago Stegun et al. Integrated tools environment for modeling and analysis of automated planning systems. 2007, Anais.. Brasília: ABCM, 2007. Disponível em: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf. Acesso em: 11 jul. 2024.
    • APA

      Vaquero, T. S., Sette, F., Santos, E. A. dos, & Silva, J. R. (2007). Integrated tools environment for modeling and analysis of automated planning systems. In Proceedings of COBEM. Brasília: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
    • NLM

      Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
    • Vancouver

      Vaquero TS, Sette F, Santos EA dos, Silva JR. Integrated tools environment for modeling and analysis of automated planning systems [Internet]. Proceedings of COBEM. 2007 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/3b70045a-fbd6-4e2d-9fcd-b0e9fe405e89/Silva_JR-2007-Integrated%20tools%20environment%20for%20modeling%20and%20analysis%20of%20automated%20planning%20systems.Cobem.pdf
  • Source: COBEM 2005 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: MANUFATURA (AUTOMAÇÃO), SISTEMAS DE PRODUÇÃO, REDES DE PETRI

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SANTOS, Marcio dos e TAVARES, José Jean-Paul Zanlucchi de Souza e SILVA, José Reinaldo. Management and collecting data in the informed manufacturing. 2005, Anais.. Rio de Janeiro: ABCM, 2005. Disponível em: https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf. Acesso em: 11 jul. 2024.
    • APA

      Santos, M. dos, Tavares, J. J. -P. Z. de S., & Silva, J. R. (2005). Management and collecting data in the informed manufacturing. In COBEM 2005 : proceedings. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf
    • NLM

      Santos M dos, Tavares JJ-PZ de S, Silva JR. Management and collecting data in the informed manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf
    • Vancouver

      Santos M dos, Tavares JJ-PZ de S, Silva JR. Management and collecting data in the informed manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf
  • Source: COBEM 2005 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: XML, REDES DE PETRI, SISTEMAS FLEXÍVEIS DE MANUFATURA, AUTOMAÇÃO INDUSTRIAL, UML

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Reinaldo e SANTOS, Eston Almança dos e VAQUERO, Tiago Stegun. Specification and analysis for automated flexible manufacturing. 2005, Anais.. Rio de Janeiro: ABCM, 2005. Disponível em: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf. Acesso em: 11 jul. 2024.
    • APA

      Silva, J. R., Santos, E. A. dos, & Vaquero, T. S. (2005). Specification and analysis for automated flexible manufacturing. In COBEM 2005 : proceedings. Rio de Janeiro: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
    • NLM

      Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
    • Vancouver

      Silva JR, Santos EA dos, Vaquero TS. Specification and analysis for automated flexible manufacturing [Internet]. COBEM 2005 : proceedings. 2005 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
  • Source: Mechatronics. Unidade: EP

    Subjects: AUTOMAÇÃO PREDIAL, MODELAGEM DE DADOS, SISTEMAS DISCRETOS

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Reinaldo e POLI JÚNIOR, Marco Antonio e ANGEL RESTREPO, Pedro Luis. Towards a modeling discipline for building and residence automation. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf. Acesso em: 11 jul. 2024.
    • APA

      Silva, J. R., Poli Júnior, M. A., & Angel Restrepo, P. L. (2004). Towards a modeling discipline for building and residence automation. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf
    • NLM

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building and residence automation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf
    • Vancouver

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building and residence automation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf
  • Source: Mechatronics. Unidade: EP

    Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS (MODELAGEM), SISTEMAS DISCRETOS, REDES DE PETRI

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Towards a unified view of Petri nets and object oriented modeling. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf. Acesso em: 11 jul. 2024.
    • APA

      González Del Foyo, P. M., & Silva, J. R. (2004). Towards a unified view of Petri nets and object oriented modeling. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf
    • NLM

      González Del Foyo PM, Silva JR. Towards a unified view of Petri nets and object oriented modeling [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf
    • Vancouver

      González Del Foyo PM, Silva JR. Towards a unified view of Petri nets and object oriented modeling [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf
  • Source: Mechatronics. Unidade: EP

    Subjects: REDES DE PETRI, MECATRÔNICA (SISTEMAS)

    PrivadoAcesso à fonteHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. Mechatronics. Tradução . Rio de Janeiro: ABCM, 2004. . Disponível em: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf. Acesso em: 11 jul. 2024.
    • APA

      Silva, J. R., & Santos, E. A. dos. (2004). Applying Petri nets to requirements validation. In Mechatronics. Rio de Janeiro: ABCM. Recuperado de http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
    • NLM

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
    • Vancouver

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. In: Mechatronics. Rio de Janeiro: ABCM; 2004. [citado 2024 jul. 11 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
  • Source: COBEM 2003: proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: MECATRÔNICA, REDES DE PETRI

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Reinaldo e SANTOS, Eston Almança dos. Applying Petri nets to requirements validation. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf. Acesso em: 11 jul. 2024.
    • APA

      Silva, J. R., & Santos, E. A. dos. (2003). Applying Petri nets to requirements validation. In COBEM 2003: proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
    • NLM

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
    • Vancouver

      Silva JR, Santos EA dos. Applying Petri nets to requirements validation [Internet]. COBEM 2003: proceedings. 2003 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
  • Source: COBEM 2003 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: COMPUTAÇÃO APLICADA, MODELAGEM DE DADOS, REDES DE PETRI, PROGRAMAÇÃO ORIENTADA A OBJETOS

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      GONZÁLEZ DEL FOYO, Pedro Manuel e SILVA, José Reinaldo. Towards a unified view of petri nets and object oriented modeling. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf. Acesso em: 11 jul. 2024.
    • APA

      González Del Foyo, P. M., & Silva, J. R. (2003). Towards a unified view of petri nets and object oriented modeling. In COBEM 2003 : proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf
    • NLM

      González Del Foyo PM, Silva JR. Towards a unified view of petri nets and object oriented modeling [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf
    • Vancouver

      González Del Foyo PM, Silva JR. Towards a unified view of petri nets and object oriented modeling [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf
  • Source: COBEM 2003 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP

    Subjects: AUTOMAÇÃO PREDIAL, MODELAGEM DE DADOS, SISTEMAS DISCRETOS

    PrivadoHow to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
    • ABNT

      SILVA, José Reinaldo e POLI JÚNIOR, Marco Antonio e ANGEL RESTREPO, Pedro Luis. Towards a modeling discipline for building an residence automation. 2003, Anais.. São Paulo: ABCM, 2003. Disponível em: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf. Acesso em: 11 jul. 2024.
    • APA

      Silva, J. R., Poli Júnior, M. A., & Angel Restrepo, P. L. (2003). Towards a modeling discipline for building an residence automation. In COBEM 2003 : proceedings. São Paulo: ABCM. Recuperado de https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf
    • NLM

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building an residence automation [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf
    • Vancouver

      Silva JR, Poli Júnior MA, Angel Restrepo PL. Towards a modeling discipline for building an residence automation [Internet]. COBEM 2003 : proceedings. 2003 ;[citado 2024 jul. 11 ] Available from: https://repositorio.usp.br/directbitstream/85c780fc-9137-456f-a17c-01511c88dc46/Silva_JR-2003-TOWARDS%20A%20MODELING%20DISCIPLINE%20FOR%20BUILDING%20AND.pdf

Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2024