Tomaz de Carvalho Barros

Possui graduação em Engenharia Elétrica pela Universidade de Pernambuco(1982), especialização em Microelectronics Engineering Course pela Japan International Cooperation Agency(1992), mestrado em Engenharia Elétrica pela Universidade Federal de Pernambuco(1990), doutorado em Engenharia Elétrica pela Universidade Federal da Paraíba(2000), pós-doutorado pela Universidade de Salamanca(2004) e curso-tecnico-profissionalizantepela Escola de Especialistas de Aeronáutica(1976). Atualmente é Professor Adjunto 1 da Universidade Federal de Pernambuco. Tem experiência na área de Engenharia Elétrica, com ênfase em Eletrônica Industrial, Sistemas e Controles Eletrônicos. Atuando principalmente nos seguintes temas:Redes de Petri, Supervisor, Sistemas de Produção.

Informações coletadas do Lattes em 23/10/2022

Acadêmico

Formação acadêmica

Doutorado em Engenharia Elétrica

1996 - 2000

Universidade Federal da Paraíba
Título: Supervisão de Sistemas de Produção Baseada em Redes de Petri
Angelo Perkusich. Bolsista do(a): Coordenação de Aperfeiçoamento de Pessoal de Nível Superior. Palavras-chave: Redes de Petri; Supervisor; Sistemas de Produção.Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.

Mestrado em Engenharia Elétrica

1987 - 1990

Universidade Federal de Pernambuco
Orientador: David Simonetti Barbalho
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico. Palavras-chave: Redes de Petri; Invariantes; Sistema de Transporte.Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos / Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.

Especialização em Microelectronics Engineering Course

1991 - 1992

Japan International Cooperation Agency

Graduação em Engenharia Elétrica

1978 - 1982

Universidade de Pernambuco

Curso técnico/profissionalizante

1974 - 1976

Escola de Especialistas de Aeronáutica
Bolsista do(a): Escola de Especialistas de Aeronáutica.

Pós-doutorado

2004 - 2004

Pós-Doutorado. , Universidade de Salamanca. , Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Teoria da Computação / Especialidade: Linguagem Formais e Autômatos. , Grande Área: Ciências Humanas / Área: Educação / Subárea: Ensino-Aprendizagem / Especialidade: Tecnologia Educacional.

Formação complementar

1995 - 1995

2º Course On Petri Nets For Latin America. (Carga horária: 30h). , Universidade Federal da Paraíba, UFPB, Brasil.

1983 - 1983

Curso de Manutenção de Aeronaves Seneca. , Serviços de Reparos e Manutenção de Aeronaves.

1980 - 1980

Curso de Manutenção de Aeronaves Bandeirante. , 2º Esquadrão de Transporte Aéreo.

1979 - 1979

Curso de Manutenção de Helicópteros H13 - H. , Centro de Instrução de Helicópteros.

1978 - 1978

Curso de Manutenção de Aeronaves AT- 25 e L - 42. , 2º do 8º Grupo de Aviação.

Idiomas

Inglês

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Espanhol

Compreende Razoavelmente, Fala Razoavelmente, Lê Razoavelmente, Escreve Razoavelmente.

Áreas de atuação

Grande área: Engenharias / Área: Engenharia Elétrica / Subárea: Eletrônica Industrial, Sistemas e Controles Eletrônicos/Especialidade: Automação Eletrônica de Processos Elétricos e Industriais.

Participação em eventos

Defesa de Trabalhos Tutelados.Visitou o Departamento de Teoría e Historia de la Educación da Universidad de Salamanca, Espanha, para a apresentação oral de trabalho técnico e participação da defesa dos trabalhos tutelados dos alunos do programa de doutorado em Procesos de Formación en Espacios Virtuales, período de docência 2003 - 2004. 2005. (Outra).

Programa Institucional de Bolsas de Iniciação Científica.Participou do Processo de Avaliação dos Projetos do Programa Institucional de Bolsas de Iniciação Científica (2003/2004) - PIBIC/CNPq/UFPE, como avaliador na área de Ciências Exatas e da Terra.. 2003. (Outra).

X CONIC - Congresso de Iniciação Científica. Participou do X CONIC - Congresso de Iniciação Científica, realizado na UFPE, no período de 13 a 15 de dezembro de 2002, na qualidade de avaliador dos trabalhos na área de Engenharia Elétrica. 2002. (Congresso).

Participação em bancas

Aluno: Israel Lima de Melo

BARROS, T. C.; SANTOS, E. J. P.; MACIEL, P. R. M.. Modelagem de Redes de Transdutores Inteligentes Utilizando Redes de Petri. 2005. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Mauro José Carlos e Silva

BARROS, T. C.; MACIEL, P. R. M.; LIMA, R. M. F.. Modelagem de Políticas de Estoque: uma abordagem baseda em redes de Petri.. 2004. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: VICTOR MIRANDA DA SILVA

BARROS, T. C.; SANTOS, E. J. P.; SOUSA FILHO, E. B.; COSTA, J. C.. Amplificadores MOS RF para Sensores a Onda Acústica de Superfície . 2003. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Paulo Sérgio Brandão Nascimento

BARROS, T. C.; MACIEL, P. R. M.; LIMA, M. E.. Metodologia para Reconfiguração Dinâmica de Hardware Baseada em Redes de Petri. 2002. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: JENER TOSCANO LINS E SILVA

BARROS, T. C.; SANTOS, E. P.. Instrumentação Virtual para Microscopia de Varredura. 2002. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Fred Monteiro da Cruz Filho

BARROS, T. C.; BARROS, E. N. S.; SAMPAIO, A. C. A.. Particionamento em Hardware/Software usando Redes de Petri. 2000. Dissertação (Mestrado em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Gustavo Meneses Gois

BARROS, T. C.; TURNELL, M. F.; COSTA, E. B.. Um Sistema Tutor Multi-Agentes no Domínio de Redes de Petri. 2000. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal da Paraíba.

Aluno: Michel Coura Dias

BARROS, T. C.; LIMA, A. M. N.; BARROS, P. R.. Verificação de Receitas em Sistemas de Produção em Lotes. 2000. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal da Paraíba.

Aluno: Domingos Vanderlei Filho

BARROS, T. C.; SOUZA, F. M. C.; ALENCAR, F. M. R.; KRIEGER, E. M.; CHAVES JÚNIOR, H. C.; VALENÇA, M. J. S.. Sistema de Apoio à Decisão no Diagnóstico Médico da Hipertrofia Ventricular Esquerda e das Arritmias Cardíacas. 2005. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Meuse Nogueira de Oliveira Júnior

BARROS, T. C.; LIMA, R. M. F.; MARRANGHELLO, N.. Estimativa de Potencia Devido ao Software: Uma Abordagem Baseda em Redes de Petri Coloridas. 2004. Exame de qualificação (Doutorando em Ciências da Computação) - Universidade Federal de Pernambuco.

Aluno: Hércules Sales Padilha

BARROS, T. C.; SANTOS, E. P.; MESQUITA, A.. Descrição VHDL de Microcontrolador para Sensores Inteligentes. 2003. Monografia (Aperfeiçoamento/Especialização em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Pedro Clemente de Olinda

BARROS, T. C.; SANTOS, E. J. P.; SANTOS, M. R.. Implementação do Controle de um MotorTrifásico através de Inversores de Frequencia para uso em Elevadores de Carga. 2008. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Francisco Alves Cavalcanti

BARROS, T. C.; MESQUITA JÚNIOR, A.; SANTOS, E. J. P.. Aplicativo FAC para auxílio no projeto de tomógrafos de impedância elétrica . 2005. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Meyer Mesel Neto

BARROS, T. C.; MESQUITA, A.; BARROS, E.. Modelagem de um Processador DSP em SystemC. 2003. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Paulo de Souza Xaxá e Leonardo Rezende Freire Ribeiro

BARROS, T. C.; BEZERRA, E.; SILVA, A. F. D. E.. Braço Robótico com Três Graus de Liberdade. 2003. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Leonardo Simões Barbosa de Figueiredo

BARROS, T. C.; MACIEL, P. R. M.. Fundamentos de Um Sistema Embarcado. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Pernambuco.

Aluno: Alexandre Feitoza de Mendonca

BARROS, T. C.; GOMES, A. S.. Interface Para o Ensino de Ciências. 2002. Trabalho de Conclusão de Curso (Graduação em Engenharia Elétrica) - Universidade Federal de Pernambuco.

BARROS, T. C.; SANTOS, E. J. P.; SEABRA, A. C.. Participação em Comissão Avaliadora de Concurso para o cargo de Professor Adjunto I do Departamento de Eletrônica e Sistemas da UFPE.. 2005. Universidade Federal de Pernambuco.

Orientou

William Guterres Oliveira

Controle e Monitoramento de Sistemas de Produção em Lotes Baseado em Petri Nets; ; Início: 2006; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco; (Orientador);

Israel Lima de Melo

Modelagem de Redes de Transdutores Inteligentes Utilizando Redes de Petri; 2005; 100 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tomaz de Carvalho Barros;

Paulo Romero Martins Maciel

Um Diagnosticador de Falhas para Sistemas de Controle Sequenciais Baseado em um Jogador de Redes de Petri; 1993; 0 f; Dissertação (Mestrado em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Coorientador: Tomaz de Carvalho Barros;

Edson Ricardo Calado Sabino

Desenvolvimento e Aplicação de uma Ferramenta Computacional no Campo da Automação Industrial; 2004; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tomaz de Carvalho Barros;

Rogério Aguiar de Lima Júnior

Uma Interface de Entrada para o Simulador INA no Campo da Automação Industrial; 2002; Iniciação Científica; (Graduando em Engenharia Elétrica) - Universidade Federal de Pernambuco, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Tomaz de Carvalho Barros;

Produções bibliográficas

BARROS, T. C. ; MACIEL, P. R. M. . Resource Estimation and Modeling of Production Systems Based on Petri Nets. International Journal of Computational and Numerical Analysis and Applications , Bulgaria, v. 2, n.4, p. 369-386, 2002.
BARROS, T. C. ; PERKUSICH, A. ; FIGUEIREDO, J. C. A. . A Fault Tolerant Colored Petri Net Model for Flexible Manufacturing Systems . Journal of the Brazilian Computer Society , São Paulo, v. 04, n.02, p. 16-30, 1997.
BARROS, J. F. ; CARRASCO, J. G. ; BARROS, T. C. . Modeling Phase Procedures for Flexible Digital Tutors Development. In: IX International Symposium on Computers in Education, 2007, Porto, Portugal. 9th edition of the International Symposium on Computers in Education. Porto, Protugal, 2007.
BARROS, J. F. ; BARROS, T. C. ; CARRASCO, J. G. . Operational Data Description for Flexible Digital Tutors Development. In: 2nd International Conference on Electrical Engineering (CEE 2007), 2007, Coimbra, Portugal. 2nd International Conference on Electrical Engineering (CEE 2007). Coimbra, Portugal, 2007.
OLIVEIRA, W. G. ; BARROS, T. C. . BATCH PRODUCTION SYSTEM CONTROL AND MONITORING BASED ON PETRI NETS. In: CEE'07 - 2nd INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING, 2007, Coimbra, Portugal. CEE'07 - 2nd INTERNATIONAL CONFERENCE ON ELECTRICAL ENGINEERING. Coimbra, Portugal, 2007.
BARROS, J. F. ; CARRASCO, J. G. ; BARROS, T. C. . Concepção de Sistemas Multimídias para o Tele-Ensino. In: I Jornada Científica UNIBRATEC, 2006, Recife. I Jornada Científica UNIBRATEC, 2006. p. 73-89.
BARROS, J. F. ; CARRASCO, J. G. ; BARROS, T. C. . Management and Distributed Data Allocation for Digital Tutoring Systems based on Petri Nets. In: Simpósio Brasileiro de Métodos Formais, 2006, Natal, RN. Simpósio Brasileiro de Métodos Formais, 2006.
BARROS, J. F. ; CARRASCO, J. G. ; BARROS, T. C. . Os Sistemas Multimídia na Personalização do Ensino Virtual. In: II Congresso Brasileiro de Tecnologia (II CONBRATEC), 2005, Recife. Anais do II Congresso Brasileiro de Tecnologia. Recife: UNIBRATEC, 2005. v. 1. p. 151-169.
BARROS, T. C. ; BARROS, J. F. . Utilizando a Memória Virtual para o Controle de Sistemas Flexíveis de Manufatura. In: VII Simpósio Brasileiro de Automação Inteligente (VII SBAI / II LARS), 2005, São Luís do Maranhão. VII Simpósio Brasileiro de Automação Inteligente (VII SBAI / II LARS). São Luís do Maranhão: UFMA - PPGEE, 2005.
BARROS, J. F. ; CARRASCO, J. G. ; BARROS, T. C. . Flexible Tutor Models Based on Petri Nets and Artificial Intelligence Techniques. In: IADIS Virtual Multi Conference on Computer Science and Information Systems, 2005, Portugal. IADIS Virtual Multi Conference on Computer Science and Information Systems. Lisboa, Portugal, 2005. v. Single. p. 174-179.
MELO, I. L. ; BARROS, T. C. ; SANTOS, E. J. P. . Modeling a smart sensor network with Petri nets. In: 4th Student Forum on Microelectronics, 2004, Porto de Galinhas, Pernambuco.. Proceedings of the 4th Student Forum on Microelectronics. Recife, PE: UFPE - CIN, 2004.
SANTOS, E. J. P. ; SABINO, E. R. C. ; BARROS, T. C. . Computational tool for modelling with Petri Nets. In: 4th Student Forum on Microelectronics, 2004, Porto de Galinhas, Pernambuco. Proceedings of the 4th Student Forum on Microelectronics. Recife, PE: UFPE - CIN, 2004.
BARROS, T. C. ; SANTOS, E. J. P. ; MELO, I. L. . Supervisão e Gerenciamento Local de Recursos: Uma Aplicação das Redes de Petri aos Sistemas de Produção em Lotes. In: CBA 2004 - XV Congresso Brasileiro de Automática, 2004, Gramado - RS. CBA 2004 - XV Congresso Brasileiro de Automática. Gramado, RS: UFRGS - DEE, 2004.
BARROS, T. C. ; SANTOS, E. J. P. ; MELO, I. L. . Sistemas de Produção em Lotes: Modelagem e Análise com base em Redes de Petri T-Temporizadas e Equações Diferenciais. In: 6º Simpósio Brasileiro de Automação Inteligente (VI SBAI), 2003, Bauru, São Paulo. 6º Simpósio Brasileiro de Automação Inteligente., 2003. p. 1-6.
MACIEL, P. R. M. ; BARROS, T. C. ; BARROS, E. ; CAVALCANTI, R. ; SILVA, M. . Data-Dependency Analysis: An Approach Based on Petri Nets. In: 2002 Advanced Simulation Technologies Conference, 2002, San Diego, California. 2002 Advanced Simulation Technologies Conference, 2002. p. 267-273.
MACIEL, P. R. M. ; BARROS, E. ; CAVALCANTI, R. ; BARROS, T. C. . Register Estimation Method Based on Petri Nets for Digital System Design. In: 1º Encontro Brasileiro Sobre Redes de Petri, 2002, Natal, RN, Brasil. BPNM - Brazilian Petri Net Meeting, 2002. p. 1-7.
BARROS, T. C. ; MACIEL, P. R. M. . A Petri Net Based Approach for Resource Estimation in Manufacturing Control Systems . In: 5TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS (SCI 2001), 2001, Orlando, Florida, USA. International Institute of Informatics and Systemics, 2001. v. 14. p. 457-462.
BARROS, T. C. ; MACIEL, P. R. M. . Evaluation of Causal Firing Sequences in Conflict-Free Petri Nets . In: 5TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS (SCI 2001), 2001, Orlando, Florida, USA. International Institute of Informatics and Systemics, 2001. v. 9. p. 515-519.
CANDEIA, E. ; ASSIS, F. M. ; PERKUSICH, A. ; BARROS, T. C. ; PIMENTEL, C. . Cálculo da Capacidade de Códigos com Restrições Bi-Dimensionais Usando Redes de Petri . In: 19º SIMPÓSIO BRASILEIRO DE TELECOMUNIÇÕES, 2001, Fortaleza, CE. Uma Odisséia da Informação e da Comunicação, 2001.
BARROS, T. C. ; PERKUSICH, A. . Supervisão de Sistemas de Produção em Lotes Baseada em Redes de Petri Coloridas. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis, SC, Brasil. Anais do XIII Congresso Brasileiro de Automática, 2000. p. 2078-2083.
BARROS, T. C. ; PERKUSICH, A. . Verificação de Receitas para Sistemas de Produção em Lotes Baseada em Redes de Petri. In: XIII Congresso Brasileiro de Automática, 2000, Florianópoli, SC, Brasil. Anais do XIII Congresso Brasileiro de Automática, 2000. p. 2072-2077.
RIBEIRO, Z. B. S. ; PERKUSICH, A. ; BARROS, T. C. . Supervisores Distribuídos Tolerantes a Faltas para Sistemas Flexíveis de Manufatura . In: VII Simpósio Brasileiro de Computadores Tolerantes a Falhas, 1999, Campinas, SP, Brasil, 1999. p. 127-141.
BARROS, T. C. ; PERKUSICH, A. . Design of Supervisors for Agile Manufacturing Systems Using Colored Petri Nets . In: 15th International Conference on CAD/CAM Robotics & Factories of the Future, CARS & FOF'99, 1999, Águas de Lindóia, SP, Brasil, 1999. p. 1-6.
RIBEIRO, Z. B. S. ; PERKUSICH, A. ; BARROS, T. C. . Modelling and Analysis of a Distributed Supervisor for Manufacturing Systems . In: 15th International Conference on CAD/CAM Robotics & Factories of the Future, CARS & FOF'99, 1999, Águas de Lindóia, SP, Brasil, 1999. p. 7-12.
BARROS, T. C. ; PERKUSICH, A. ; FIGUEIREDO, J. C. A. . Modelagem do Controle dos Sistemas Flexíveis de Manufatura Baseada em Redes de Petri Coloridas . In: XII Congresso Brasileiro de Automática, 1998, Uberlândia, Minas Gerais, Bras, 1998. p. 1403-1408.
BARROS, T. C. ; PERKUSICH, A. . Redes de Petri: Um Procedimento de Modelagem Aplicado aos Sistemas de Produção em Lotes . In: XII Congresso Brasileiro de Automática, 1998, Uberlândia, Minas Gerais., 1998. p. 1377-1382.
BARROS, T. C. ; PERKUSICH, A. . Simulation of the Continuous Dynamics of Batch Control Systems Based on Petri Nets . In: IEEE International Conference on Systems, Man, and Cybernetics, 1998, San Diego, California, USA, 1998. p. 680-685.
BARROS, T. C. ; PERKUSICH, A. ; FIGUEIREDO, J. C. A. . A Coloured Petri Net Based Approach for Resource Allocation and Fault Tolerance for Flexible Manufacturing Systems . In: International Conference on Applications and Theory of Petri Nets, 1997, França, Toulouse, 1997. p. 117-134.
BARROS, T. C. ; PERKUSICH, A. ; FIGUEIREDO, J. C. A. . Alocação de Recursos e Tolerância a Faltas em Sistemas Flexíveis de Manufatura Utilizando Redes de Petri Coloridas . In: VII Simpósio de Computadores Tolerantes a Falhas, 1997, Campina Grande-PB, 1997. p. 153-167.
BARROS, T. C. ; PERKUSICH, A. ; FIGUEIREDO, J. C. A. . A Fault Tolerant Coloured Petri Net Resource Allocation Manager for Manufacturing Systems . In: IEEE International Conference on Systems, Man and Cybernetics, 1997, Orlando, Florida, USA, 1997. p. 1210-1215.
BARROS, T. C. ; SANTOS, M. R. ; MACIEL, P. R. M. . Diagnóstico de Falhas para Sistemas de Controle Industrial: Uma Abordagem por Redes de Petri.. In: 10 Congresso Brasileiro de Automática, 1994, Rio de Janeiro, RJ, 1994.
SANTOS, M. R. ; BARROS, T. C. ; MACIEL, P. R. M. . Uma Ferramenta de Diagnóstico de Falhas Voltada para Sistemas de Controle Industrial. In: V Simpósio de Computadores Tolerantes a Falhas, 1993, São José dos Campos, SP., 1993. p. 169-187.
PERKUSICH, A. ; BARROS, T. C. ; FIGUEIREDO, J. C. A. ; PERKUSICH, M. L. B. . Knowledge Based Systems Applications to Implement Petri Nets Models of Discrete Time Systems. In: In IFIP Working Conference on Dependability of Artificial Inteligence Systems, 1991, Vienna, Austria, 1991.
PERKUSICH, A. ; BARROS, T. C. ; FIGUEIREDO, J. C. A. ; PERKUSICH, M. L. B. . A Petri Net Approach for Knowledge Base Construction for Fault Analysis and Control of Discrete Time Systems.. In: In IEEE International Conference on Industrial Electronics, 1991, Kobe, Japão, 1991. p. 1631-1636.
BARBALHO, D. S. ; SANTOS, M. R. ; BARROS, T. C. . Uma Metodologia Estruturada e Sistemática de Suporte à Automação da Manufatura. In: 1 Encontro Regional de Automação Industrial - 1 ERAI, 1990, Vitória, ES., 1990.
BARBALHO, D. S. ; SANTOS, M. R. ; BARROS, T. C. . Uma Técnica Estruturada de Modelagem por Redes de Petri: Função de Coordenação em Sistemas de Transporte. In: 8 Congresso Brasileiro de Automática, 1990, Belém, PA., 1990.
BARROS, J. F. ; CARRASCO, J. G. ; BARROS, T. C. . Concepção de Sistemas Multimídias para o Tele-Ensino. In: XII Simpósio Brasileiro de Sistemas Multimídia e Web, 2006, Natal, RN. XII Simpósio Brasileiro de Sistemas Multimídia e Web, 2006. p. 143-143.
BARROS, T. C. ; MACIEL, P. R. M. . Resource Estimation and Modeling of Production Systems Based on Petri Nets. In: 10 International Colloquium on Numerical Analysis and Computer Science with Applications, 2001, Plovdiv, Bulgaria. Abstracts of Invited Lectures and Short Communications Delivered, 2001. p. 10-10.
SANTOS, M. R. ; BARROS, T. C. ; MACIEL, P. R. M. . Um Diagnosticador de Falhas para Sistemas de Controle Sequencial Especificado por Redes de Petri. In: 45ª Reunião Anual da SBPC, 1993, Recife, PE, 1993.

Outras produções

BARROS, T. C. . Redes de Petri Colorida: ALocação de Recursos e Tolerância a Faltas em Sistemas Flexíveis de Manufatura . 1998.

BARROS, T. C. . Alocação de Recursos e Tolerância a Faltas em Sistemas Flexíveis de Manufatura por Redes de Petri Coloridas . 1997.

BARROS, T. C. . Sistemas Híbridos: Um Procedimento de Modelagem Baseado em Redes de Petri . 1997.

BARROS, T. C. . Curso de Especilizção em Automação Industrial. 2001. (Curso de curta duração ministrado/Especialização).

Prêmios

2004

Professor Homenageado, Turma de Engenharia Eletrônica 2004/2:Turma: Engenheiro Alexandre Barbosa Lima..

2002

Professor Homenageado, Turma de Engenharia Eletrônica 2002/1. Turma: Engenharia com Excelência..

1976

Primeiro Lugar no Curso de Manutenção de Motores e Aeronaves, Escola de Especialistas de Aeronautica - EEAer.

Histórico profissional

Endereço profissional

Universidade Federal de Pernambuco, Centro de Tecnologia, Departamento de Eletrônica e Sistemas. , Rua Acadêmico Hélio Ramos, S/N, Cidade Universitaria, 50740530 - Recife, PE - Brasil - Caixa-postal: 7800, Telefone: (81) 21268214, Fax: (81) 21268215, URL da Homepage:

Experiência profissional

1989 - Atual

Universidade Federal de Pernambuco

Vínculo: Servidor Público, Enquadramento Funcional: Professor Adjunto 1, Carga horária: 40, Regime: Dedicação exclusiva.

Atividades

04/1989
Pesquisa e desenvolvimento , Centro de Tecnologia, Departamento de Eletrônica e Sistemas.,Linhas de pesquisa
04/1989
Ensino, Engenharia Elétrica, Nível: Graduação,Disciplinas ministradas, Organização de Computadores, Microcomputadores, Princípios de Comunicação, Tópicos Especiais em Engenharia de Computação II
04/1989
Ensino, Engenharia Elétrica, Nível: Pós-Graduação,Disciplinas ministradas, Tópicos de Eletrônica Geral
06/1992 - 08/1992
Direção e administração, Centro de Tecnologia, Departamento de Eletrônica e Sistemas.,Cargo ou função, Coordenador de Curso.

1987 - 1987

Motogear Norte

Vínculo: Celetista, Enquadramento Funcional: Engenheiro de Manutenção Elétrica, Carga horária: 40

Atividades

01/1987 - 06/1987
Serviços técnicos especializados , Setor de Produção, Setor de Manutenção Elétrica.,Serviço realizado, Manutenção Elétrica de Máquinas e Subestação.

1974 - 1986

Força Aérea Brasileira

Vínculo: Servidor Público, Enquadramento Funcional: 2 Sargento Especialista, Carga horária: 40

Atividades

01/1986 - 12/1986
Serviços técnicos especializados , Base Aérea de Fortaleza, Esquadrão de Suprimento e Manutenção.,Serviço realizado, Manutenção de Motores e Aeronaves XAVANTE.
08/1976 - 12/1985
Serviços técnicos especializados , Base Aérea do Recife, Esquadrão de Suprimento e Manutenção.,Serviço realizado, Manutenção de Motores e Aeronaves BANDEIRANTE, SENECA, AT - 25, L - 42 e HELICOPTEROS UH-1H.