ReP USP - Resultado da busca

Trabalho de evento
Evolution of databases using Petri nets (2012)
Domingues, Marcia Beatriz Pereira; Almeida Junior, Jorge Rady de ; Silva, José Reinaldo
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: REDES DE PETRI (PROJETO), MANUFATURA
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DOMINGUES, Marcia Beatriz Pereira e ALMEIDA JUNIOR, Jorge Rady de e SILVA, José Reinaldo. Evolution of databases using Petri nets. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/22787877-5714-4b18-911e-91e5e1c964ee/Silva_JR-2012-evolution%20of%20databases%20using%20petri%20nets.pdf. Acesso em: 09 set. 2024.
APA
Domingues, M. B. P., Almeida Junior, J. R. de, & Silva, J. R. (2012). Evolution of databases using Petri nets. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/22787877-5714-4b18-911e-91e5e1c964ee/Silva_JR-2012-evolution%20of%20databases%20using%20petri%20nets.pdf
NLM
Domingues MBP, Almeida Junior JR de, Silva JR. Evolution of databases using Petri nets [Internet]. Anais. 2012 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/22787877-5714-4b18-911e-91e5e1c964ee/Silva_JR-2012-evolution%20of%20databases%20using%20petri%20nets.pdf
Vancouver
Domingues MBP, Almeida Junior JR de, Silva JR. Evolution of databases using Petri nets [Internet]. Anais. 2012 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/22787877-5714-4b18-911e-91e5e1c964ee/Silva_JR-2012-evolution%20of%20databases%20using%20petri%20nets.pdf
Parte de monografia/livro
Process oriented design service: case study for automated information systems (2012)
Oliveira, Valter Castelhano de; Silva, José Reinaldo
Source: ABCM Symposium Series in Mechatronics. Unidade: EP
Subjects: SISTEMAS DE INFORMAÇÃO, AUTOMAÇÃO INDUSTRIAL, SISTEMAS DE MANUFATURAS
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: http://www.abcm.org.br/symposium-series/SSM_Vol5/Section_IV_Industrial_Informatics_Discrete_and_Hybrid_Systems/06432.pdf
Trabalho de evento
Arquitetura IGCR para gerenciamento de consumo residencial de energia (2012)
Sicchar, José R; Tavares Junior, Carlos; Silva, José Reinaldo ; Freitas, Rodrigo de; Santos, Jeferson J; Nascimento, Carmina
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: CONSUMO DE ENERGIA ELÉTRICA, LÓGICA FUZZY, MÉTODOS MCMC
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SICCHAR, José R et al. Arquitetura IGCR para gerenciamento de consumo residencial de energia. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/196b61c9-0c20-4c8c-a895-a1a7e414bccb/Silva_JR-2012-arquitetura%20IGCR.pdf. Acesso em: 09 set. 2024.
APA
Sicchar, J. R., Tavares Junior, C., Silva, J. R., Freitas, R. de, Santos, J. J., & Nascimento, C. (2012). Arquitetura IGCR para gerenciamento de consumo residencial de energia. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/196b61c9-0c20-4c8c-a895-a1a7e414bccb/Silva_JR-2012-arquitetura%20IGCR.pdf
NLM
Sicchar JR, Tavares Junior C, Silva JR, Freitas R de, Santos JJ, Nascimento C. Arquitetura IGCR para gerenciamento de consumo residencial de energia [Internet]. Anais. 2012 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/196b61c9-0c20-4c8c-a895-a1a7e414bccb/Silva_JR-2012-arquitetura%20IGCR.pdf
Vancouver
Sicchar JR, Tavares Junior C, Silva JR, Freitas R de, Santos JJ, Nascimento C. Arquitetura IGCR para gerenciamento de consumo residencial de energia [Internet]. Anais. 2012 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/196b61c9-0c20-4c8c-a895-a1a7e414bccb/Silva_JR-2012-arquitetura%20IGCR.pdf
Parte de monografia/livro
Timed Petri nets (2012)
Silva, José Reinaldo ; Del Foyo, Pedro Manuel Gonzalez
Source: Petri Nets - Manufacturing and Computer Science. Unidade: EP
Subjects: REDES DE PETRI, SISTEMAS DISCRETOS, SISTEMAS DE MANUFATURAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo e DEL FOYO, Pedro Manuel Gonzalez. Timed Petri nets. Petri Nets - Manufacturing and Computer Science. Tradução . Rijeka: Intech, 2012. . Disponível em: http://cdn.intechopen.com/pdfs-wm/38516.pdf. Acesso em: 09 set. 2024.
APA
Silva, J. R., & Del Foyo, P. M. G. (2012). Timed Petri nets. In Petri Nets - Manufacturing and Computer Science. Rijeka: Intech. Recuperado de http://cdn.intechopen.com/pdfs-wm/38516.pdf
NLM
Silva JR, Del Foyo PMG. Timed Petri nets [Internet]. In: Petri Nets - Manufacturing and Computer Science. Rijeka: Intech; 2012. [citado 2024 set. 09 ] Available from: http://cdn.intechopen.com/pdfs-wm/38516.pdf
Vancouver
Silva JR, Del Foyo PMG. Timed Petri nets [Internet]. In: Petri Nets - Manufacturing and Computer Science. Rijeka: Intech; 2012. [citado 2024 set. 09 ] Available from: http://cdn.intechopen.com/pdfs-wm/38516.pdf
Trabalho de evento
Automação e ciência de serviço aplicado a smart grid (2012)
Oliveira, Valter Castelhano de; Sicchar, José R; Silva, José Reinaldo
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: SISTEMAS DE INFORMAÇÃO, AUTOMAÇÃO INDUSTRIAL, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
OLIVEIRA, Valter Castelhano de e SICCHAR, José R e SILVA, José Reinaldo. Automação e ciência de serviço aplicado a smart grid. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/c7bdedd4-ad63-4df9-9478-e67d7f0baf08/Silva_JR-2012-automacao%20e%20ciencia%20de%20servicos.pdf. Acesso em: 09 set. 2024.
APA
Oliveira, V. C. de, Sicchar, J. R., & Silva, J. R. (2012). Automação e ciência de serviço aplicado a smart grid. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/c7bdedd4-ad63-4df9-9478-e67d7f0baf08/Silva_JR-2012-automacao%20e%20ciencia%20de%20servicos.pdf
NLM
Oliveira VC de, Sicchar JR, Silva JR. Automação e ciência de serviço aplicado a smart grid [Internet]. Anais. 2012 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/c7bdedd4-ad63-4df9-9478-e67d7f0baf08/Silva_JR-2012-automacao%20e%20ciencia%20de%20servicos.pdf
Vancouver
Oliveira VC de, Sicchar JR, Silva JR. Automação e ciência de serviço aplicado a smart grid [Internet]. Anais. 2012 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/c7bdedd4-ad63-4df9-9478-e67d7f0baf08/Silva_JR-2012-automacao%20e%20ciencia%20de%20servicos.pdf
Trabalho de evento
Are automated planners up to solve real problems? (2008)
Sette, Fernando Moreira; Vaquero, Tiago Stegun; Park, Song Won ; Silva, José Reinaldo
Source: 17 IFAC : proceedings.. Conference titles: World Congress the International Federation of Automatic Control. Unidade: EP
Subjects: CONTROLE DE PROCESSOS, INTELIGÊNCIA ARTIFICIAL, PETRÓLEO, PROCESSOS QUÍMICOS (CONTROLE), REFINARIAS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SETTE, Fernando Moreira et al. Are automated planners up to solve real problems? 2008, Anais.. Seoul: IFAC, 2008. Disponível em: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/3552.pdf. Acesso em: 09 set. 2024.
APA
Sette, F. M., Vaquero, T. S., Park, S. W., & Silva, J. R. (2008). Are automated planners up to solve real problems? In 17 IFAC : proceedings.. Seoul: IFAC. Recuperado de http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/3552.pdf
NLM
Sette FM, Vaquero TS, Park SW, Silva JR. Are automated planners up to solve real problems? [Internet]. 17 IFAC : proceedings. 2008 ;[citado 2024 set. 09 ] Available from: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/3552.pdf
Vancouver
Sette FM, Vaquero TS, Park SW, Silva JR. Are automated planners up to solve real problems? [Internet]. 17 IFAC : proceedings. 2008 ;[citado 2024 set. 09 ] Available from: http://www.nt.ntnu.no/users/skoge/prost/proceedings/ifac2008/data/papers/3552.pdf
Trabalho de evento-anais periodico
Modeling of programs and its verification for programmable logic controllers (2008)
Sarmento, Cleber Alves; Miyagi, Paulo Eigi ; Silva, José Reinaldo ; Santos Filho, Diolino Jose dos
Source: IFAC proceedings volumes. Conference titles: IFAC World Congress. Unidade: EP
Subjects: CONTROLADORES PROGRAMÁVEIS, FALHA (DIAGNÓSTICO), SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SARMENTO, Cleber Alves et al. Modeling of programs and its verification for programmable logic controllers. IFAC proceedings volumes. Seoul: IFAC. Disponível em: https://doi.org/10.3182/20080706-5-KR-1001.01786. Acesso em: 09 set. 2024. , 2008
APA
Sarmento, C. A., Miyagi, P. E., Silva, J. R., & Santos Filho, D. J. dos. (2008). Modeling of programs and its verification for programmable logic controllers. IFAC proceedings volumes. Seoul: IFAC. doi:10.3182/20080706-5-KR-1001.01786
NLM
Sarmento CA, Miyagi PE, Silva JR, Santos Filho DJ dos. Modeling of programs and its verification for programmable logic controllers [Internet]. IFAC proceedings volumes. 2008 ;41( 2): 10546-10551.[citado 2024 set. 09 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786
Vancouver
Sarmento CA, Miyagi PE, Silva JR, Santos Filho DJ dos. Modeling of programs and its verification for programmable logic controllers [Internet]. IFAC proceedings volumes. 2008 ;41( 2): 10546-10551.[citado 2024 set. 09 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.01786
Artigo de periodico
Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation (2008)
Silva, José Reinaldo ; Benitez, Israel; Villafruela, Luisa; Gomis, Oriel; Sudria, Antoni
Source: International Journal of Advanced Manufacturing Technology. Unidade: EP
Subjects: REDES DE PETRI, CONTROLADORES PROGRAMÁVEIS
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo et al. Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology, v. 36, n. 11-12, p. 1180-1190, 2008Tradução . . Disponível em: https://doi.org/10.1007/s00170-006-0924-5. Acesso em: 09 set. 2024.
APA
Silva, J. R., Benitez, I., Villafruela, L., Gomis, O., & Sudria, A. (2008). Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation. International Journal of Advanced Manufacturing Technology, 36( 11-12), 1180-1190. doi:10.1007/s00170-006-0924-5
NLM
Silva JR, Benitez I, Villafruela L, Gomis O, Sudria A. Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation [Internet]. International Journal of Advanced Manufacturing Technology. 2008 ; 36( 11-12): 1180-1190.[citado 2024 set. 09 ] Available from: https://doi.org/10.1007/s00170-006-0924-5
Vancouver
Silva JR, Benitez I, Villafruela L, Gomis O, Sudria A. Modeling extended Petri nets compatible with GHENeSys IEC61131 for industrial automation [Internet]. International Journal of Advanced Manufacturing Technology. 2008 ; 36( 11-12): 1180-1190.[citado 2024 set. 09 ] Available from: https://doi.org/10.1007/s00170-006-0924-5
Trabalho de evento
Multi-agent control system of a kraft recovery boiler (2008)
Herrera Sosa, Ivan Raúl; Park, Song Won ; Silva, José Reinaldo
Source: 17 IFAC : proceedings.. Conference titles: World Congress the International Federation of automatic Control. Unidade: EP
Subjects: CALDEIRAS (CONTROLE), PROCESSOS QUÍMICOS (TECNOLOGIA DE CELULOSE E PAPEL) (MONITORAMENTO), SIMULAÇÃO, SISTEMAS DE CONTROLE
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
HERRERA SOSA, Ivan Raúl e PARK, Song Won e SILVA, José Reinaldo. Multi-agent control system of a kraft recovery boiler. 2008, Anais.. Seoul: IFAC, 2008. Disponível em: https://doi.org/10.3182/20080706-5-KR-1001.02696. Acesso em: 09 set. 2024.
APA
Herrera Sosa, I. R., Park, S. W., & Silva, J. R. (2008). Multi-agent control system of a kraft recovery boiler. In 17 IFAC : proceedings.. Seoul: IFAC. doi:10.3182/20080706-5-KR-1001.02696
NLM
Herrera Sosa IR, Park SW, Silva JR. Multi-agent control system of a kraft recovery boiler [Internet]. 17 IFAC : proceedings. 2008 ;[citado 2024 set. 09 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.02696
Vancouver
Herrera Sosa IR, Park SW, Silva JR. Multi-agent control system of a kraft recovery boiler [Internet]. 17 IFAC : proceedings. 2008 ;[citado 2024 set. 09 ] Available from: https://doi.org/10.3182/20080706-5-KR-1001.02696
Trabalho de evento
Using time petri nets for modeling and verification of timed constrained workflow systems (2007)
Del Foyo, Pedro Manuel Gonzalez; Silva, José Reinaldo
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
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: 09 set. 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 set. 09 ] 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 set. 09 ] 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
Trabalho de evento
Integrated tools environment for modeling and analysis of automated planning systems (2007)
Vaquero, Tiago Stegun; Sette, Fernando; Santos, Eston Almança dos; Silva, José Reinaldo
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
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: 09 set. 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 set. 09 ] 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 set. 09 ] 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
Trabalho de evento
Reading PDDL, writing an object-oriented model (2006)
Tonidandel, Flavio; Vaquero, Tiago Stegun; Silva, José Reinaldo
Source: Proceedings. Conference titles: International Joint Conference IBERAMIA/SBIA/SBRN. Unidade: EP
Assunto: INTELIGÊNCIA ARTIFICIAL
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TONIDANDEL, Flavio e VAQUERO, Tiago Stegun e SILVA, José Reinaldo. Reading PDDL, writing an object-oriented model. 2006, Anais.. Ribeirão Preto: SBC, 2006. Disponível em: https://doi.org/10.1007/11874850_57. Acesso em: 09 set. 2024.
APA
Tonidandel, F., Vaquero, T. S., & Silva, J. R. (2006). Reading PDDL, writing an object-oriented model. In Proceedings. Ribeirão Preto: SBC. doi:10.1007/11874850_57
NLM
Tonidandel F, Vaquero TS, Silva JR. Reading PDDL, writing an object-oriented model [Internet]. Proceedings. 2006 ;[citado 2024 set. 09 ] Available from: https://doi.org/10.1007/11874850_57
Vancouver
Tonidandel F, Vaquero TS, Silva JR. Reading PDDL, writing an object-oriented model [Internet]. Proceedings. 2006 ;[citado 2024 set. 09 ] Available from: https://doi.org/10.1007/11874850_57
Trabalho de evento
Management and collecting data in the informed manufacturing (2005)
Santos, Marcio dos; Tavares, José Jean-Paul Zanlucchi de Souza; Silva, José Reinaldo
Source: COBEM 2005 : proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: MANUFATURA (AUTOMAÇÃO), SISTEMAS DE PRODUÇÃO, REDES DE PETRI
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/007052ea-56f8-4efe-8c84-55244218d9ae/SilvaJ-2005-Management%20and%20collecting%20data%20in%20the%20informed%20ok.pdf
Trabalho de evento
Specification and analysis for automated flexible manufacturing (2005)
Silva, José Reinaldo ; Santos, Eston Almança dos; Vaquero, Tiago Stegun
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
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/4f5c5f10-45b4-47a5-a1fd-4adfdc211167/SilvaJ-2005-SPECIFICATION%20AND%20ANALYSIS%20FOR%20AUTOMATED%20FLEXIBLE%20ok.pdf
Parte de monografia/livro
Towards a modeling discipline for building and residence automation (2004)
Silva, José Reinaldo ; Poli Júnior, Marco Antonio; Angel Restrepo, Pedro Luis
Source: Mechatronics. Unidade: EP
Subjects: AUTOMAÇÃO PREDIAL, MODELAGEM DE DADOS, SISTEMAS DISCRETOS
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_07.pdf
Parte de monografia/livro
Towards a unified view of Petri nets and object oriented modeling (2004)
González Del Foyo, Pedro Manuel; Silva, José Reinaldo
Source: Mechatronics. Unidade: EP
Subjects: PROGRAMAÇÃO ORIENTADA A OBJETOS (MODELAGEM), SISTEMAS DISCRETOS, REDES DE PETRI
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_02.pdf
Trabalho de evento-resumo
Applying petri nets to requirements validation (2004)
Silva, José Reinaldo ; Santos, Eston Almança dos
Source: INCOM'04. Conference titles: IFAC Symposium on Information Control Problems in Manufacturing. Unidade: EP
Subjects: REDES DE PETRI, MECATRÔNICA (SISTEMAS)
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. 2004, Anais.. Salvador: IFAC, 2004. Disponível em: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf. Acesso em: 09 set. 2024.
APA
Silva, J. R., & Santos, E. A. dos. (2004). Applying petri nets to requirements validation. In INCOM'04. Salvador: IFAC. Recuperado de https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
NLM
Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
Vancouver
Silva JR, Santos EA dos. Applying petri nets to requirements validation [Internet]. INCOM'04. 2004 ;[citado 2024 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/aa77fc0d-608c-407f-92eb-3acff3cd89a0/Silva_JR-2004-Applying%20petri%20nets%20to%20requirements%20validation.%20Area%209.pdf
Parte de monografia/livro
Applying Petri nets to requirements validation (2004)
Silva, José Reinaldo ; Santos, Eston Almança dos
Source: Mechatronics. Unidade: EP
Subjects: REDES DE PETRI, MECATRÔNICA (SISTEMAS)
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
Trabalho de evento
Applying Petri nets to requirements validation (2003)
Silva, José Reinaldo ; Santos, Eston Almança dos
Source: COBEM 2003: proceedings. Conference titles: International Congress of Mechanical Engineering. Unidade: EP
Subjects: MECATRÔNICA, REDES DE PETRI
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/78787caa-c621-4ac6-917b-2ee5c501d81e/Silva_JR-2003-APPLYING%20PETRI%20NETS%20TO%20REQUIREMENTS%20VALIDATION.pdf
Trabalho de evento
Towards a unified view of petri nets and object oriented modeling (2003)
González Del Foyo, Pedro Manuel; Silva, José Reinaldo
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
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: 09 set. 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 set. 09 ] 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 set. 09 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf

USP Schools

ReP

Filtros

Document Types

Departament

Authors

USP affiliated authors

Date published

Subjects

Source title

Publisher

Conference titles

Countries/Territories