ReP USP - Resultado da busca

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: 14 out. 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 out. 14 ] 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 out. 14 ] Available from: http://cdn.intechopen.com/pdfs-wm/38516.pdf
Trabalho de evento
Usando invariantes na análise dos requisitos (2012)
Salmon, Arianna Zoila Oliveira; Silva, José Reinaldo
Source: Anais. Conference titles: Congresso Brasileiro de Automática - CBA. Unidade: EP
Subjects: REDES DE PETRI, ANÁLISE DE REQUISITOS, INVARIANTES
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SALMON, Arianna Zoila Oliveira e SILVA, José Reinaldo. Usando invariantes na análise dos requisitos. 2012, Anais.. Campina Grande: UFCG, 2012. Disponível em: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf. Acesso em: 14 out. 2024.
APA
Salmon, A. Z. O., & Silva, J. R. (2012). Usando invariantes na análise dos requisitos. In Anais. Campina Grande: UFCG. Recuperado de https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf
NLM
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.pdf
Vancouver
Salmon AZO, Silva JR. Usando invariantes na análise dos requisitos [Internet]. Anais. 2012 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/8694c2a5-c238-41b6-9e6f-a4a6f08d26a1/Silva_JR-2012-usando%20invariantes%20na%20analise%20dos%20requisitos.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: 14 out. 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 out. 14 ] 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 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/c7bdedd4-ad63-4df9-9478-e67d7f0baf08/Silva_JR-2012-automacao%20e%20ciencia%20de%20servicos.pdf
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: 14 out. 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 out. 14 ] 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 out. 14 ] Available from: https://doi.org/10.1007/s00170-006-0924-5
Relatorio tecnico
SGB: sistema de gestão e controle da informação para bibliotecas com RFID (2007)
Chen , Rodrigo Chanyon; Silva, José Reinaldo
Unidade: EP
Subjects: BIBLIOTECAS, ACERVO (AUTOMAÇÃO), REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
CHEN , Rodrigo Chanyon e SILVA, José Reinaldo. SGB: sistema de gestão e controle da informação para bibliotecas com RFID. . São Paulo: Escola Politécnica, Universidade de São Paulo. Disponível em: https://repositorio.usp.br/directbitstream/c775e5f7-a5d6-4947-bf22-0eb959341d70/Silva-2007-SGB-BT-PMR-0733.pdf. Acesso em: 14 out. 2024. , 2007
APA
Chen , R. C., & Silva, J. R. (2007). SGB: sistema de gestão e controle da informação para bibliotecas com RFID. São Paulo: Escola Politécnica, Universidade de São Paulo. Recuperado de https://repositorio.usp.br/directbitstream/c775e5f7-a5d6-4947-bf22-0eb959341d70/Silva-2007-SGB-BT-PMR-0733.pdf
NLM
Chen RC, Silva JR. SGB: sistema de gestão e controle da informação para bibliotecas com RFID [Internet]. 2007 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/c775e5f7-a5d6-4947-bf22-0eb959341d70/Silva-2007-SGB-BT-PMR-0733.pdf
Vancouver
Chen RC, Silva JR. SGB: sistema de gestão e controle da informação para bibliotecas com RFID [Internet]. 2007 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/c775e5f7-a5d6-4947-bf22-0eb959341d70/Silva-2007-SGB-BT-PMR-0733.pdf
Relatorio tecnico
Realimentação da informação na manufatura informada (2006)
Tavares, José Jean-Paul Zanlucchi de Souza; Silva, José Reinaldo (Orientador)
Unidade: EP
Subjects: PRODUÇÃO EM MASSA, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
TAVARES, José Jean-Paul Zanlucchi de Souza. Realimentação da informação na manufatura informada. . São Paulo: EPUSP. Disponível em: https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf. Acesso em: 14 out. 2024. , 2006
APA
Tavares, J. J. -P. Z. de S. (2006). Realimentação da informação na manufatura informada. São Paulo: EPUSP. Recuperado de https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf
NLM
Tavares JJ-PZ de S. Realimentação da informação na manufatura informada [Internet]. 2006 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf
Vancouver
Tavares JJ-PZ de S. Realimentação da informação na manufatura informada [Internet]. 2006 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/115b78d1-478f-40bc-945d-3b18f2dd6309/Silva_JR-2006-realimentacao%20da%20informacao-BT-PMR-0611.pdf
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: 14 out. 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 out. 14 ] 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 out. 14 ] 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: 14 out. 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 out. 14 ] 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 out. 14 ] 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 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: 14 out. 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 out. 14 ] 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 out. 14 ] 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: 14 out. 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 out. 14 ] 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 out. 14 ] 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: 14 out. 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 out. 14 ] 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 out. 14 ] Available from: http://www.abcm.org.br/symposiumSeries/SSM_Vol1/Section_IV_Discrete_Event_Dynamic_Systems/SSM_IV_01.pdf
Relatorio tecnico
Especificando requisitos de sistemas com redes de Petri (2003)
Santos, Eston Almança dos; Silva, José Reinaldo
Unidade: EP
Assunto: REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SANTOS, Eston Almança dos e SILVA, José Reinaldo. Especificando requisitos de sistemas com redes de Petri. . São Paulo: EPUSP. Disponível em: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf. Acesso em: 14 out. 2024. , 2003
APA
Santos, E. A. dos, & Silva, J. R. (2003). Especificando requisitos de sistemas com redes de Petri. São Paulo: EPUSP. Recuperado de https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
NLM
Santos EA dos, Silva JR. Especificando requisitos de sistemas com redes de Petri [Internet]. 2003 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.pdf
Vancouver
Santos EA dos, Silva JR. Especificando requisitos de sistemas com redes de Petri [Internet]. 2003 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/d59808e6-72f9-40f4-ba21-2c00fb5ee896/Silva-2003-especificando%20requisitos%20de%20sistemas-BT-PME-2003.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: 14 out. 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 out. 14 ] 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 out. 14 ] 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: 14 out. 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 out. 14 ] 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 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/2f19a3c9-547c-45a4-ba81-eb07bc170c7d/Silva-2003-TOWARDS%20A%20UNIFIED%20VIEW%20OF%20%20PETRI%20NETS%20ok.pdf
Trabalho de evento
Supervisory control of integrated building systems: a balanced approach (1996)
Silva, José Reinaldo ; Ramos, R. L. C. B.; Miyagi, Paulo Eigi
Source: Proceedings. Conference titles: IEEE/ECLA/IFIP International Conference on Architectures and Design Methods for Balanced Automation Systems. Unidade: EP
Subjects: INTELIGÊNCIA ARTIFICIAL, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SILVA, José Reinaldo e RAMOS, R. L. C. B. e MIYAGI, Paulo Eigi. Supervisory control of integrated building systems: a balanced approach. 1996, Anais.. London: Chapman & Hall, 1996. Disponível em: https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf. Acesso em: 14 out. 2024.
APA
Silva, J. R., Ramos, R. L. C. B., & Miyagi, P. E. (1996). Supervisory control of integrated building systems: a balanced approach. In Proceedings. London: Chapman & Hall. Recuperado de https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf
NLM
Silva JR, Ramos RLCB, Miyagi PE. Supervisory control of integrated building systems: a balanced approach [Internet]. Proceedings. 1996 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf
Vancouver
Silva JR, Ramos RLCB, Miyagi PE. Supervisory control of integrated building systems: a balanced approach [Internet]. Proceedings. 1996 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/474f0f67-e2c7-4ba7-9f0b-615191e9e3c0/Miyagi-1996-Supervisory%20control%20of%20integrated%20building%20systems%20%20a%20balanced%20approach.pdf
Relatorio tecnico
Estruturação de problema de planejamento dinâmico em sistemas produtivos usando redes de petri (1994)
Shimada, Lúcio Mitio; Silva, José Reinaldo
Unidade: EP
Subjects: SISTEMAS DE PRODUÇÃO, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
SHIMADA, Lúcio Mitio e SILVA, José Reinaldo. Estruturação de problema de planejamento dinâmico em sistemas produtivos usando redes de petri. . São Paulo: Epusp/PMC. Disponível em: https://repositorio.usp.br/directbitstream/6ac2d1d3-c111-417a-bd47-69c5c52f4ace/Silva_JR-1994-estruturacao%20do%20problema%20de%20planejamento-monografia%2093-94.pdf. Acesso em: 14 out. 2024. , 1994
APA
Shimada, L. M., & Silva, J. R. (1994). Estruturação de problema de planejamento dinâmico em sistemas produtivos usando redes de petri. São Paulo: Epusp/PMC. Recuperado de https://repositorio.usp.br/directbitstream/6ac2d1d3-c111-417a-bd47-69c5c52f4ace/Silva_JR-1994-estruturacao%20do%20problema%20de%20planejamento-monografia%2093-94.pdf
NLM
Shimada LM, Silva JR. Estruturação de problema de planejamento dinâmico em sistemas produtivos usando redes de petri [Internet]. 1994 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/6ac2d1d3-c111-417a-bd47-69c5c52f4ace/Silva_JR-1994-estruturacao%20do%20problema%20de%20planejamento-monografia%2093-94.pdf
Vancouver
Shimada LM, Silva JR. Estruturação de problema de planejamento dinâmico em sistemas produtivos usando redes de petri [Internet]. 1994 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/6ac2d1d3-c111-417a-bd47-69c5c52f4ace/Silva_JR-1994-estruturacao%20do%20problema%20de%20planejamento-monografia%2093-94.pdf
Trabalho de evento-resumo
Interface gráfica para um simulador de rede de petri (1991)
Deo, F. C.; Silva, José Reinaldo ; Arakaki, Julio
Source: Anais Cicte-91. Conference titles: Congresso de Iniciação Científica e Tecnologica em Engenharia. Unidade: EP
Subjects: REDES DE COMPUTADORES, REDES DE PETRI
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
ABNT
DEO, F. C. e SILVA, José Reinaldo e ARAKAKI, Julio. Interface gráfica para um simulador de rede de petri. 1991, Anais.. São Carlos: Cetepe, 1991. Disponível em: https://repositorio.usp.br/directbitstream/293afdb7-51bd-4ff4-a64d-2a901d6a4fd9/Silva_JR-1991-interface%20grafica.pdf. Acesso em: 14 out. 2024.
APA
Deo, F. C., Silva, J. R., & Arakaki, J. (1991). Interface gráfica para um simulador de rede de petri. In Anais Cicte-91. São Carlos: Cetepe. Recuperado de https://repositorio.usp.br/directbitstream/293afdb7-51bd-4ff4-a64d-2a901d6a4fd9/Silva_JR-1991-interface%20grafica.pdf
NLM
Deo FC, Silva JR, Arakaki J. Interface gráfica para um simulador de rede de petri [Internet]. Anais Cicte-91. 1991 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/293afdb7-51bd-4ff4-a64d-2a901d6a4fd9/Silva_JR-1991-interface%20grafica.pdf
Vancouver
Deo FC, Silva JR, Arakaki J. Interface gráfica para um simulador de rede de petri [Internet]. Anais Cicte-91. 1991 ;[citado 2024 out. 14 ] Available from: https://repositorio.usp.br/directbitstream/293afdb7-51bd-4ff4-a64d-2a901d6a4fd9/Silva_JR-1991-interface%20grafica.pdf

USP Schools

ReP

Filtros

Authors

Date published

Subjects

Source title

Publisher

Conference titles