Luis Allan Künzle

Professor Titular do Departamento de Informática da Universidade Federal do Paraná (UFPR). Possui graduação em Engenharia Industrial Elétrica, ênfase Eletrônica, pela Universidade Tecnológica Federal do Paraná, em 1987, mestrado em Engenharia Elétrica e Informática Industrial pela Universidade Tecnológica Federal do Paraná, em 1990 e doutorado em Automatique et Informatique Industrielle pela Université Paul Sabatier de Toulouse, França, em 1997. Tem experiência na área de modelagem e análise de sistemas dinâmicos a eventos discretos, atuando principalmente nos seguintes temas: Redes de Petri, Redes de Petri Temporais, Análise Temporal e Planejamento em Inteligência Artificial. É também professor associado ao Núcleo de Estudos em Saúde Coletiva da UFPR, com pesquisas em Saúde do Trabalhador Docente e em Assédio Moral no Trabalho. Participa do Grupo de Trabalho em Saúde e Seguridade Social da Associação dos Professores da UFPR. Realizou estágio pós-doutoral na Área de Saúde da Universidade Andina Simón Bolívar (UASB) - sede Quito, Equador, entre 2018 e 2019. Está matriculado no Pós-doutorado em Salud Colectiva, Meio Ambiente y Sociedad da UASB, cohorte 2018-2020.

Informações coletadas do Lattes em 25/06/2020

Acadêmico

Seção coletada automaticamente pelo Escavador

Formação acadêmica

Doutorado em Automatique Et Informatique Industrielle

1993 - 1997

Université Toulouse III Paul Sabatier
Título: Raisonnement Temporel Basé sur les Réseaux de Petri pour des Systèmes Manipulant des Ressources
Orientador: Robert Valette
Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Redes de Petri; Raciocínio Temporal; Sistemas Dinâmicos a Eventos Discretos; Paralelismo Máximo; Lógica Linear; Diagnóstico e Supervisão. Grande área: Ciências Exatas e da TerraGrande Á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. Setores de atividade: Informática.

Mestrado em Engenharia Elétrica e Informática Industrial

1988 - 1990

Universidade Tecnológica Federal do Paraná
Título: Controle de Sistemas Flexíveis de Manufatura - Especificação dos Níveis de Equipamento e Estação de Trabalho,Ano de Obtenção: 1990
Maurizio Tazza.Bolsista do(a): Conselho Nacional de Desenvolvimento Científico e Tecnológico, CNPq, Brasil. Palavras-chave: Sistemas Flexíveis de Manufatura; Simulação; Controle a Eventos Discretos; Redes de Petri; Modelagem de Equipamentos de Manufatura.Grande área: Ciências Exatas e da TerraGrande Área: Engenharias / Área: Engenharia de Produção / Subárea: Gerência de Produção / Especialidade: Planejamento, Projeto e Controle de Sistemas de Produção. Grande Área: Engenharias / Área: Engenharia Mecânica / Subárea: Processos de Fabricação / Especialidade: Processos de Fabricação, Seleção Econômica. Setores de atividade: Informática; Indústria Metal-Mecânica; Qualidade e Produtividade.

Graduação em Curso de Engenharia Industrial Elétrica Ênfase Ele

1980 - 1987

Universidade Tecnológica Federal do Paraná

Seção coletada automaticamente pelo Escavador

Pós-doutorado

2018

Pós-Doutorado. , Universidad Andina Simón Bolívar, UASB, Equador. , Grande área: Ciências da Saúde, Grande Área: Ciências da Saúde / Área: Saúde Coletiva / Subárea: Saúde do Trabalhador. , Grande Área: Ciências da Saúde / Área: Saúde Coletiva / Subárea: Epidemiologia Crítica.

Seção coletada automaticamente pelo Escavador

Idiomas

Bandeira representando o idioma Inglês

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

Bandeira representando o idioma Espanhol

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

Bandeira representando o idioma Francês

Compreende Bem, Fala Bem, Lê Bem, Escreve Bem.

Seção coletada automaticamente pelo Escavador

Áreas de atuação

Grande área: Ciências Exatas e da Terra / Área: Ciência da Computação / Subárea: Matemática da Computação/Especialidade: Modelos Analíticos e de Simulação.

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 Exatas e da Terra / Área: Ciência da Computação / Subárea: Metodologia e Técnicas da Computação/Especialidade: Inteligência Artificial.

Grande área: Ciências da Saúde / Área: Saúde Coletiva / Subárea: Saúde do Trabalhador.

Seção coletada automaticamente pelo Escavador

Organização de eventos

PRISCO, C. M. F. ; ZANIN, F. C. ; HELOANI, J. R. M. ; DANIEL, L. M. V. ; KÜNZLE, L. A. ; BARRETO, M. ; OLIVEIRA, R. T. . III Congreso Iberoamericano sobre Acoso Laboral e Institucional e IV Seminário Catarinense de Prevenção ao Assédio Moral no Trabalho. 2015. (Congresso).

Seção coletada automaticamente pelo Escavador

Participação em eventos

VI Seminário da Frente Nacional Contra a Privatização da Saúde.Dossiê sobre a Implantação da EBSERH na UFPR. 2016. (Seminário).

Seção coletada automaticamente pelo Escavador

Participação em bancas

Aluno: Simone Dominico

ALMEIDA, E. C.; Maziero, C.A.; MEIRA, J. A.;KÜNZLE, L. A.; ALVES, M. A. Z.. Provisionamento de recursos computacionais baseado em Redes de Petri para bancos de dados orientados a leitura. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: David Lira Nunez

KÜNZLE, L. A.; P.E. Miyagi; A. Hassui. Detecção de falhas em sistemas flexíveis de montagem através de rede de Petri. 2006. Dissertação (Mestrado em Engenharia Mecânica) - Universidade de São Paulo.

Aluno: Aurélio Meneghello Junior

STADZISZ, P. C.; SOUZA, João Humberto Furquim de;KÜNZLE, L. A.. Contribuição a um Método e Desenvolvimento de uma Ferramenta Computacional para o Auxílio à Geração de Planos de Montagem para Famílias de Produtos. 2004. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Edson Martins Lecheta

CASTILHO, Marcos Alexandre; BOTELHO, S. S. C.;KÜNZLE, L. A.; DIRENE, A.. Algoritmos Genéticos para Planejamento em Inteligência Artificial. 2004. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Michel dos Santos Soares

Julia, S.;KÜNZLE, L. A.; Macedo, A.. Uma abordagem baseada num Jogador de redes de Petri p-temporal e no cálculo de sequentes da Lógica Linear para a verificação de cenários de Sistemas Tempo Real especificados através de diagramas dinâmicos da UML. 2004. Dissertação (Mestrado em Ciência da Computação) - Universidade Federal de Uberlândia.

Aluno: Luciano Mathias Döll

STADZISZ, Paulo Cézar;KÜNZLE, L. A.; SOUZA, João Humberto Furquim de. Proposta de uma metodologia para a modelagem da dinâmica de sistemas orientados a objetos usando Redes de Petri Predicado/Transição. 2003. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Orlando José Pellanda Júnior

STADZISZ, P. C.; SOUZA, João Humberto Furquim de;KÜNZLE, L. A.; MERKLE, L. E.. Modelagem de Negócios Visando a Especificação de Requisitos de Sistemas Computacionais. 2003. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Evangivaldo Almeida Lima

DÓREA, Carlos Eduardo Trabuco; COSTA, Eduard Montgomery Meira; LEPIKSON, Herman Augusto;KÜNZLE, L. A.. Uma Contribuição ao Estudo e ao Projeto de Controle Supervisório de Sistemas a Evantos Discretos Baseado em Invariantes de Lugar de Redes de Petri. 2002 - Universidade Federal da Bahia.

Aluno: Jean Marcelo Simão

SIMÃO, J. M.;KÜNZLE, L. A.; STADZISZ, Paulo Cézar; CURY, José Eduardo Ribeiro; TAZZA, Maurizio. Proposta de uma arquitetura de controle para sistemas flexíveis de manufatura baseada em regras e agentes. 2001. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Fabiano Silva

SILVA, F.;KÜNZLE, L. A.; CASTILHO, M.; SANDRI, S.; GAGNON, M.. Algoritmos para Planificação Baseados em Strips. 2000. Dissertação (Mestrado em Informática) - Universidade Federal do Paraná.

Aluno: Antônio da Fonseca de Lira

STADZISZ, Paulo Cézar;KÜNZLE, L. A.. Contribuição a uma Abordagem Metodológica para Geração de Planos de Montagem de Famílias de Produtos. 2000. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: João Antônio de Palma Setti

TAZZA, Maurizio; STADZISZ, Paulo Cézar;KÜNZLE, L. A.; ROSÁRIO, João Maurício. Simulação da Síntese de Controle e Arquitetura de Robôs Manipuladores no Sistema Analytice. 1998. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: César Augusto Tacal

TAZZA, Maurizio; CURY, José Eduardo; SANTOS, Alfranci Freitas;KÜNZLE, L. A.. Controle de Sistemas Flexíveis de Manufatura. 1993. Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná.

Aluno: Patricia Polo Almeida

KUNZLE, L. A.; LEON, E.; BRAVO, E.. Relación territorio-salud: Un análisis desde las representaciones sociales de los y las trabajadoras bananeras, recinto San Rafael, provincia del Guayas-Ecuador. 2018. Tese (Doutorado em Doctorado en Salud Colectiva, Ambiente y Sociedad) - Universidad Andina Simón Bolívar.

Aluno: Elvira Palacios Espinoza

KUNZLE, L. A.; FLOREZ, L. J. H.; VEINTIMILLA, D. O.. Determinación social de la contaminación del aire urbano y de su relación con el deterioro de la salud respiratoria en los niños y niñas menores de 5 años (Cuenca, Ecuador) 2012-2014. 2018. Tese (Doutorado em Doctorado en Salud Colectiva, Ambiente y Sociedad) - Universidad Andina Simón Bolívar.

Aluno: Adolfo Maldonado Campos

JARAMILLO, G.; AVILA, R.;KÜNZLE, L. A.. Una propuesta de reparación socio-ecosistémica a los impactos del metabolismo de la actividad petrolera para la Amazonía ecuatoriana. 2018. Tese (Doutorado em Doctorado en Salud Colectiva, Ambiente y Sociedad) - Universidad Andina Simón Bolívar.

Aluno: Luis Carlos Erpen De Bona

Duarte, E.P.; Fonseca, K.V.O.; Schulze, B.; Scheer, S.; Maziero, C.A.;KÜNZLE, L. A.. Uma Rede Overlay Baseada em Hipercubo Virtual para Computação Distribuída na Internet. 2006. Tese (Doutorado em Programa de Pós Graduação Em Engenharia Elétrica e) - Universidade Tecnológica Federal do Paraná.

Aluno: Jean Marcelo Simão

STADZISZ, Paulo Cézar; MOREL, Gérard;KÜNZLE, L. A.; GRABOT, Bernard; CURY, José Eduardo Ribeiro; DÓREA, Carlos Eduardo Trabuco; TACLA, César Augusto. A Contribution to the Development of a HMS Simulation Tool and Proposition of a Metamodel for Holonic Control. 2005. Tese (Doutorado em Programa de Pós Graduação Em Engenharia Elétrica e) - Universidade Tecnológica Federal do Paraná.

Aluno: César Rafael Claure Torrico

CURY, José Eduardo Ribeiro;KÜNZLE, L. A.; DÓREA, Carlos Eduardo Trabuco; NEGRI, Victor Juliano de; BITTENCOURT, Guilherme; CAMPONOGARA, Eduardo. Controle Supervisório Hierárquico de Sistemas a Eventos Discretos. Uma Abordagem Baseada na Agregação de Estados. 2003. Tese (Doutorado em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

Aluno: César Rafael Claure Torrico

TORRICO, C. R. C.;KÜNZLE, L. A.; CURY, José Eduardo Ribeiro; BITTENCOURT, Guilherme; FARINES, J. M.; NEGRI, Victor Juliano de; BORENSTEIN, C. R.. Controle Supervisório Hierárquico para Sistemas a Eventos Discretos: Uma Abordagem Baseada na Agregação de Estados. 2001. Exame de qualificação (Doutorando em Engenharia Elétrica) - Universidade Federal de Santa Catarina.

KÜNZLE, L. A.CASTILHO, Marcos Alexandre; SUNYE, Marcos; GARCIA, Laura Sanches; VAZ, Maria Salete Gomes. Concurso Público para Professor Adjunto do Departamneto de Informática da UFPR. 2003. Universidade Federal do Paraná.

Moriya Huzita, E. H.; Constantino, A.A.;KÜNZLE, L. A.. Banca de Promoção para Professor Associado. 2008. Universidade Estadual de Maringá.

Seção coletada automaticamente pelo Escavador

Orientou

Miguel Angel de Marchi Amarilla

Uma Abordagem Matricial para Desdobramento de Redes de Petri Utilizando a Ferramenta Matlab; 2016; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Luis Allan Künzle;

Rene Kultz

Utilização de heurísticas de planejamento no desdobramento de redes de Petri; 2010; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luis Allan Künzle;

Franck Carlos Velez Benito

Unfolding para Redes de Petri k-limitadas; 2010; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luis Allan Künzle;

Juliana Benacchio

Planejamento em Inteligência Artificial utilizando Redes de Petri Cíclicas; 2008; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Luis Allan Künzle;

Franciele Carla Petry

Planejamento Aplicado à verificação de bloqueios em Redes de Petri; 2008; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Coorientador: Luis Allan Künzle;

Nacib Mattar Jr

; Redes de Petri Temporais: Método de Análise Baseada em Tempo Global; 2008; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Orientador: Luis Allan Künzle;

Guilherme Stutz Töws

PETRIGRAPH - Um Algoritmo para Planejamento por Desdobramento de Redes de Petri; 2007; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Coorientador: Luis Allan Künzle;

Maiko Galdino Arantes

Modelagem e Análise de Linha de Montagem de Calçados; 2006; 0 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná,; Orientador: Luis Allan Künzle;

Malgarete Rodrigues da Costa

Uma contribuição ao estudo do planejamento temporal em inteligência artificial usando redes de Petri; 2004; 56 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luis Allan Künzle;

Erik Eugênio Künzle

Desenvolvimento de uma Ferramenta de Análise Temporal de Redes de Petri usando Tempo Gloval; 2004; 0 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná,; Orientador: Luis Allan Künzle;

Valter Schastai

Métodos de Análise para Redes de Petri Temporais; 2003; 83 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luis Allan Künzle;

Luis Gustavo Carvalho

Concepção de um Módulo de Monitoração para Analytice II; 2003; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná,; Orientador: Luis Allan Künzle;

Paulo Roberto Oliveira da Silva

Especificação de uma Arquitetura de Supervisão Industrial para o Simulador de FMS Analytice II; 2001; 150 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luis Allan Künzle;

Jean Marcelo Simão

Proposta de uma Arquitetura de Controle para Sistemas Flexíveis de Manufatura Baseada em Regras e Agentes; 2001; 188 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Luis Allan Künzle;

Luis Felipe Ferreira Rosinha

Proposta de uma arquitetura de simulação para sistemas flexíveis de manufatura e de modelagem de equipamentos industriais; 2000; 138 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luis Allan Künzle;

André Koscianski

Projeto e Implementação de um Simulador com Animação Gráfica para FMS; 2000; 170 f; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Coorientador: Luis Allan Künzle;

Fabiano Silva

Algoritmos para Planificação Baseada em STRIPS; 2000; Dissertação (Mestrado em Informática) - Universidade Federal do Paraná,; Coorientador: Luis Allan Künzle;

Franck Carlos Velez Benito

Método de Desdobramento Temporal para Redes de Petri Temporais; 2016; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luis Allan Künzle;

Letícia Mara Peres

Proposta de um método de verificação por tempo global com redes de petri no desenvolvimento de software embarcado e em tempo real; 2010; Tese (Doutorado em Informática) - Universidade Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luis Allan Künzle;

Evangivaldo Almeida Lima

Análise e Aplicações em Redes de Petri Temporais: Uma Abordagem via Álgebra Intervalar; 2007; 0 f; Tese (Doutorado em Programa de Pós Graduação Em Engenharia Elétrica e) - Universidade Tecnológica Federal do Paraná, Universidade do Estado da Bahia; Orientador: Luis Allan Künzle;

Fabiano Silva

Rede de Planos: Uma Proposta para a Soluo de Problemas de Planejamento em Inteligncia Artificial; 2005; 96 f; Tese (Doutorado em Programa de Pós Graduação Em Engenharia Elétrica e) - Universidade Tecnológica Federal do Paraná, Coordenação de Aperfeiçoamento de Pessoal de Nível Superior; Orientador: Luis Allan Künzle;

Thiago Roscia Cerdeiro de Lima

Machine Learning em Sistemas de Detecção de Intrusão em Redes Baseadas em Anomalias; 2015; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Luis Allan Künzle;

[Nome removido após solicitação do usuário]

Representações da Teoria Marxista no Software Livre; 2013; Trabalho de Conclusão de Curso; (Graduação em Bacharelado em Ciência da Computação) - Universidade Federal do Paraná; Orientador: Luis Allan Künzle;

Temístocles Mendes

Avaliação Temporal de Roteiros em Redes de Petri com Paralelismo; 2000; 20 f; Iniciação Científica; (Graduando em Curso de Engenharia Industrial Elétrica Ênfase Ele) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Luis Allan Künzle;

Carlos Higor Pereira dos Santos

Paraná Digital III; 2007; Orientação de outra natureza; (Bacharelado em Ciência da Computação) - Universidade Federal do Paraná, Fundação Araucária de Apoio ao Desenvolvimento Científico e Tecnológico; Orientador: Luis Allan Künzle;

Seção coletada automaticamente pelo Escavador

Foi orientado por

Maurizio Tazza

Controle de Sistemas Flexíveis de Manufatura; 1990; Dissertação (Mestrado em Engenharia Elétrica e Informática Industrial) - Universidade Tecnológica Federal do Paraná, Conselho Nacional de Desenvolvimento Científico e Tecnológico; Orientador: Maurizio Tazza;

Seção coletada automaticamente pelo Escavador

Produções bibliográficas

  • VELEZ BENITO, FRANCK CARLOS ; KUNZLE, LUIZ ALLAN . Unfolding for Time Petri Net. IEEE Latin America Transactions , v. 15, p. 1001-1008, 2017.

  • FRIEDRICH, T. S. ; RUANO, B. P. ; SCHMITT, E. C. ; GRAHL, J. A. ; GEDIEL, J. A. P. ; KÜNZLE, L. A. ; OLIVEIRA, M. ; GARRAFONI, R. S. ; REZENDE, T. Z. . Política Migratória e Universidade Brasileira: a experiência do atendimento a haitianos e outros migrantes na UFPR. PÉRIPLOS. Revista de Pesquisa sobre Migrações. , v. 1, p. 73-91, 2017.

  • Schreiner, Marcos A. ; Castilho, Marcos A. ; SILVA, Fabiano ; Kunzle, Luis A. ; MONTAÑO, RAZER A. N. R. . The Planning Net:. International Journal of Natural Computing Research , v. 5, p. 16-36, 2015.

  • ZANIN, F. C. ; KÜNZLE, L. A. ; PERNA, P. O. ; MUNTSCH, S. M. A. . Política de Atenção à Saúde e Segurança do Trabalho do Servidor Público no Brasil. Universidade e Sociedade (Brasília) , v. 55, p. 86-95, 2015.

  • ZANIN, F. C. ; FREITAS, J. A. R. ; KÜNZLE, L. A. ; TOSTES, R. A. . REUNI no Campus de Palotina da UFPR: Trabalho Docente e Ação Sindical. Universidade e Sociedade (Brasília) , v. 51, p. 74-83, 2013.

  • ZANIN, F. C. ; FREITAS, J. A. R. ; KÜNZLE, L. A. . Estou doente profissionalmente: relato de experiência da APUFPR-SSind e reflexões sobre intervenções sindicais na saúde do trabalhador docente.. Universidade e Sociedade (Brasília) , v. 50, p. 106-121, 2012.

  • PERES, L. ; TODT, E. ; KUNZLE, L. A. . Applying Global Time Petri Net Analysis on the Embedded Software Context. Controle & Automação (Impresso) , v. 22, p. 610-619, 2011.

  • KULTZ, R. ; KÜNZLE, L. A. ; SILVA, F. . Applying Hm heuristics in Petri nets reachability problem. Lecture Notes in Computer Science , v. 6433, p. 163-173, 2010.

  • Lima, Evangivaldo A. ; Lüders, Ricardo ; KÜNZLE, L. A. . Uma abordagem intervalar para a caracterização de intervalos de disparo em redes de Petri temporais. Controle & Automação (Impresso) , v. 19, p. 379-394, 2008.

  • KÜNZLE, L. A. ; CASTILHO, Marcos Alexandre ; SILVA, Fabiano ; LECHETTA, Edson ; PALODETO, Viviane . An Investigation on Genetic Algorithms for Generic STRIPS Planning. Lecture Notes in Computer Science , v. 3315, p. 185-194, 2004.

  • ARANTES, Maiko Galdino ; HATAKEYAMA, K. ; DERGINT, D. ; KUNZLE, L. A. . Sistemas Flexíveis de Manufatura Aplicados à Indústria de Calçados Infantis de Birigui. Economia & Pesquisa (Araçatuba) , v. 6, p. 66-83, 2004.

  • CHÉZALVIEL, B. P. ; KÜNZLE, L. A. ; GIRAULT, F. ; VALETTE, R. . Calculating duration of concurrent scenarios in time Petri nets. Automatique-Productique Informatique Industrielle (Cessou em 1995. Fundiu-se com ISSN 0990-7009, 1166-3049 e 1269-6935) , Paris, v. 33, n.8-9, p. 943-958, 1999.

  • ZANIN, F. C. ; KUNZLE, L. A. ; BARRETO, M. ; HELOANI, R. . Modificações Neoliberais na Universidade Pública Brasileira: Cenário Propício para o Assédio Moral no Trabalho. In: José Antônio Peres Gediel; Eduardo Faria Silva; Fernanda Zanin; Lawrence Estivalet de Mello. (Org.). Estado, Poder e Assédio - Relações de Trabalho na Administração Pública. 1ed.Curitiba: Kairós Edições, 2015, v. , p. 186-204.

  • ZANIN, F. C. ; KÜNZLE, L. A. . Assédio Moral no Trabalho no Setor Público: Contextualização em Uma Universidade Pública Brasileira. In: Eduardo Bustos Villar; Marcelo Caputo; Elizabeth Aranda Coria; Mariel Gimenez. (Org.). Laboral e Institucional en Iberoamérica: Estado del arte y experiencias de intervención. 1a.ed.Ciudad Autónoma de Buenos Aire: Sb editorial, 2015, v. 1, p. 221-231.

  • Schreiner, Marcos A. ; Castilho, Marcos A. ; SILVA, Fabiano ; Kunzle, Luis A. . The Planning Net: Exploring the Petri Net Flow to Improve Planning Solvers. Lecture Notes in Computer Science. 1eded.: Springer Berlin Heidelberg, 2012, v. , p. 581-590.

  • Castilho, Marcos ; Kunzle, Luis Allan ; Lecheta, Edson ; PALODETO, Viviane ; SILVA, Fabiano . An Investigation on Genetic Algorithms for Generic STRIPS Planning. In: Christian Lemaître; Carlos A. Reyes; Jesús A. González. (Org.). Lecture Notes in Computer Science. 1ed.: Springer Berlin Heidelberg, 2004, v. 3315, p. 185-194.

  • SIMÃO, J. M. ; STADZISZ, P. C. ; KÜNZLE, L. A. . Rule and Agent-Oriented Architecture to Discrete Control Applied as Petri Net Players. In: G. L. Torres, J. M. Abe, M. L. Mucheroni, P. E. Cruvinel. (Org.). Advances in Intelligent Systems and Robotics. Amsterdam: IOS Press, 2003, v. 101, p. 121-129.

  • SIMÃO, Jean Marcelo ; SILVA, Paulo Roberto Oliveira da ; STADZISZ, Paulo Cézar ; KÜNZLE, L. A. . Rule and Agent Oriented Software Architecture for Controlling Automated Manufacturing Systems.. In: Abe, Jair Minoro; Silva Filho, João Inácio;. (Org.). Frontiers in Artificial Intelligence and Applications (Advances on Logic Artificial Intelligence and Robotics).. 1ed.Amsterdam: IOS Press Books, 2001, v. 71, p. 224-231.

  • KÜNZLE, L. A. ; VALETTE, R. ; CHEZALVIEL, B. P. . Temporal reasoning in fuzzy time petri nets. In: Janete Cardoso; Heloísa Camargo. (Org.). Fuzziness in Petri Nets. : Physica Verlag, 1999, v. 22, p. 146-173.

  • Amarilla, M.A.M. ; KÜNZLE, L. A. ; BENITO, F. C. V. . Aplicação da Técnica de Desdobramento de Redes de Petri para Resolução do Problema do Menor Caminho para uma Rede de Emergência na Segurança Pública. In: XXIII Simpósio de Engenharia de Produção - SIMPEP, 2016, Bauru, SP. Anais do XXIII Simpósio de Engenharia de Produção - SIMPEP, 2016.

  • Amarilla, M.A.M. ; KUNZLE, L. A. . Aplicação da Ferramenta Computacional PIPE para Simular uma Rede de Petri para Resolução do Problema do Menor Caminho para uma Rede de Emergência Hospitalar. In: XXIII Simpósio de Engenharia de Produção - SIMPEP, 2016, Bauru, SP. Anais do XXIII Simpósio de Engenharia de Produção - SIMPEP, 2016.

  • BENITO, FRANCK CARLOS VELEZ ; Kunzle, Luis Allan . Timing Analysis of Cyclic Time Petri Net Using Relaxed Unfolding and Global Time Technique. In: 2015 IEEE/ACM 19th International Symposium on Distributed Simulation and RealTime Applications (DSRT), 2015, Chengdu. 2015 IEEE/ACM 19th International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2015. p. 147-154.

  • KÜNZLE, L. A. ; ZANIN, F. C. ; PERNA, P. O. ; SILVA, N. A. C. . O processo de reestruturação e expansão precarizada das Universidades Federais Brasileiras: origens e consequências. In: III Seminario Nacional de la Red Estrado - Formación y trabajo docente: aportes a la democratización educativa, 2015, Ensenada. Actas del III Seminario Nacional de la Red Estrado - Formación y trabajo docente: aportes a la democratización educativa. La Plata: Universidad Nacional de La Plata, 2015. p. 244-257.

  • ZANIN, F. C. ; KÜNZLE, L. A. ; PERNA, P. O. ; ALESSI, S. M. . Política de Atenção à Saúde e Segurança do Trabalho do Servidor Público em Questão: o Caso da Universidade Federal do Paraná. In: IX Seminário do Trabalho: Trabalho, Educação e Neodesenvolvimentismo, 2014, Marília, SP. Anais do IX Seminário do Trabalho: Trabalho, Educação e Neodesenvolvimentismo, 2014.

  • ZANIN, F. C. ; KÜNZLE, L. A. ; PERNA, P. O. ; MUNTSCH, S. M. A. . Política de Atenção à Saúde e Segurança do Trabalho do Servidor Público no Brasil. In: XIII Congreso Latinoamericano de Medicina Social y Salud Colectiva, 2014, El Salvador. XIII Congreso Latinoamericano de Medicina Social y Salud Colectiva, 2014.

  • ZANIN, F. C. ; KÜNZLE, L. A. . Assédio Moral no Trabalho no Setor Público: contextualização em uma universidade pública brasileira. In: II Congreso Iberoamericano sobre Acoso Laboral e Institucional; I Jornada Nacional de Salud y DDHH, 2013, Buenos Aires, Argentina. Annales del II Congreso Iberoamericano sobre Acoso Laboral e Institucional; I Jornada Nacional de Salud y DDHH, 2013.

  • NEVES, A. P. ; SILVA, Fabiano ; KÜNZLE, L. A. ; CASTILHO, M. . Método para verificação de propriedades de redes de Petri utilizando resolvedor SMT. In: X Encontro Nacional de Inteligência Artificial e Computacional - ENIAC, 2013, Fortaleza, CE. Anais do X Encontro Nacional de Inteligência Artificial e Computacional - ENIAC, 2013.

  • BENITO, FRANCK CARLOS VELEZ ; Kunzle, Luis Allan . Relaxed Unfolding for Time Petri Nets. In: 2013 International Conference on Computer Sciences and Applications (CSA), 2013, Wuhan. 2013 International Conference on Computer Sciences and Applications, 2013. p. 833-839.

  • SCHREINER, M. A. ; CASTILHO, M. ; SILVA, Fabiano ; MONTAÑO, R. A. N. R. ; KÜNZLE, L. A. . Planning Net with ordination of propositions: an improvement to planning solvers with Petri Nets. In: X Encontro Nacional de Inteligência Artificial e Computacional - ENIAC, 2013, Fortaleza, CE. Anais do X Encontro Nacional de Inteligência Artificial e Computacional - ENIAC, 2013.

  • SCHREINER, M. A. ; CASTILHO, Marcos Alexandre ; KÜNZLE, L. A. . The Planning Net: Exploring the Petri Net flow to Improve Planning Solvers.. In: IBERAMIA - Ibero‐American Conference on Artificial Intelligence, 2012, Cartagena de Indias. Proceedings of the 13th Ibero‐American Conference on Artificial Intelligence, 2012.

  • BENITO, F. C. V. ; REGIS, L. O. C. ; KÜNZLE, L. A. . Desdobramento Relaxado para Redes de Petri Temporais.. In: XIX Congresso Brasileiro de Automática ? CBA2012, 2012, Campina Grande, PB. Anais do XIX Congresso Brasileiro de Automática, 2012.

  • ZANIN, F. C. ; FREITAS, J. A. R. ; KÜNZLE, L. A. ; TOSTES, R. A. . Implantação do REUNI na UFPR: consequências no trabalho docente e reflexões e debates para a ação sindical. In: VIII Seminário do Trabalho: Trabalho, Educação e Políticas Sociais no Século XXI, 2012, Marília, SP. Anais do VIII Seminário do Trabalho: Trabalho, Educação e Políticas Sociais no Século XXI, 2012.

  • ZANIN, F. C. ; FREITAS, J. A. R. ; KÜNZLE, L. A. . Violência Moral e Adoecimento de docentes da UFPR em discussão: análise de dados obtidos através de parceria entre Psicologia do Trabalho e Sindicato. In: VIII Seminário de Saúde do Trabalhador e VII Seminário O Trabalho em Debate: Saúde Mental Relacionada ao Trabalho, 2012, Franca, SP. Anais do VIII Seminário de Saúde do Trabalhador e VII Seminário O Trabalho em Debate: Saúde Mental Relacionada ao Trabalho, 2012.

  • ZANIN, F. C. ; FREITAS, J. A. R. ; KÜNZLE, L. A. . REUNI y sus consecuencias en el trabajo y en la salud docente: experiencia de una universidad pública brasileña. In: 1er Congreso Internacional y 4to Foro de las Américas sobre Factores Psicosociales, Estrés y Salud en el Trabajo, 2012, Bogotá - Colômbia. Anales del 1er Congreso Internacional y 4to Foro de las Américas sobre Factores Psicosociales, Estrés y Salud en el Trabajo, 2012.

  • ZANIN, F. C. ; FREITAS, J. A. R. ; KÜNZLE, L. A. . Acción sindical y salud docente en una universidad pública brasileña. In: 1er Congreso Internacional y 4to Foro de las Américas sobre Factores Psicosociales, Estrés y Salud en el Trabajo, 2012, Bogotá - Colômbia. Anales del 1er Congreso Internacional y 4to Foro de las Américas sobre Factores Psicosociales, Estrés y Salud en el Trabajo, 2012.

  • ZANIN, F. C. ; FREITAS, J. A. R. ; KÜNZLE, L. A. . Ação sindical frente a programas de ajuste estrutural nas universidades públicas. In: XII Congreso Latinoamericano de Medicina Social y Salud Colectiva, XVIII Congreso Internacional de Políticas de Salud, VI Congreso de la Red Américas de Actores Locales en Salud, 2012, Montevideo, Uruguai. Anales del XII Congreso Latinoamericano de Medicina Social y Salud Colectiva, XVIII Congreso Internacional de Políticas de Salud, VI Congreso de la Red Américas de Actores Locales en Salud, 2012.

  • MONTAÑO, R. A. N. R. ; CASTILHO, M. ; SILVA, F. ; KÜNZLE, L. A. . Usando Redes de Petri e Resolvedores ISCAS para Tratar Planejamento como Satisfatibilidade. In: IX Encontro Nacional de Inteligência Artificial (CSBC 2011 - ENIA), 2011, Natal/RN. Anais do IX Encontro Nacional de Inteligência Artificial (CSBC 2011 - ENIA), 2011.

  • PERES, L. M. ; KÜNZLE, L. A. ; TODT, E. . Aplicação da Análise Global de Redes de Petri Temporais no Contexto de Software Embarcado. In: XVIII Congresso Brasileiro de Automática, 2010, Bonito/MS. Anais do XVIII Congresso Brasileiro de Automática, 2010. p. 1771-1778.

  • PETRY, F. C. ; SALVI, J. L. ; SILVA, F. ; KUNZLE, L. A. ; CASTILHO, M. . Verificação de bloqueios em Redes de Petri usando Planejadores automáticos. In: IV Congresso da Academia Trinacional de Ciência, 2009, Foz do Iguaçú. IV Congresso da Academia Trinacional de Ciência, 2009.

  • PERES, L. M. ; STADZISZ, P. C. ; KUNZLE, L. A. . Proposta de um Método de Verificação de Software Embarcado de Tempo Real Usando Análise de Tempo Global. In: 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009), 2009, Recife, PE. 11th Brazilian Workshop on Real-Time and Embedded Systems (WTR 2009), 2009.

  • CASTILHO, M. ; KÜNZLE, L. A. ; Porto, S. A. . Planejamento aplicado a jogos de computador: uma implementao baseada em Redes de Tarefas Hierárquicas. In: VI ENIA - Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1162-1171.

  • CASTILHO, M. ; KÜNZLE, L. A. ; MONTAÑO, R. A. N. R. ; SILVA, F. . Planejamento como satisfatibilidade: uma abordagem não clausal. In: VI ENIA - Encontro Nacional de Inteligência Artificial, 2007, 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1140-1149.

  • CARVALHO, C. ; CASTILHO, M. ; KÜNZLE, L. A. ; SILVA, F. . GAPNet: uma nova abordagem genética para o problema de planejamento em inteligência artificial. In: VI ENIA - Encontro Nacional de Inteligência Artificial, 2007, Rio de Janeiro. Anais do XXVII Congresso da Sociedade Brasileira de Computação. Porto Alegre: Sociedade Brasileira de Computação, 2007. v. 1. p. 1450-1459.

  • MATTAR Jr, N. ; KÜNZLE, L. A. ; SILVA, F. ; CASTILHO, M. ; Lima, Evangivaldo A. . Análise da Duração de Seqüências de Disparos de Transições em Redes de Petri Temporais. In: SBAI 2007 - VIII Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. Anais do SBAI 2007 - VIII Simpósio Brasileiro de Automação Inteligente.

  • LIMA, Evangivaldo Almeida ; Luders, Ricardo ; KÜNZLE, L. A. . Uma abordagem unificada para geração de grafos de classes de estados em redes de Petri temporais. In: VIII Simpósio Brasileiro de Automação Inteligente, 2007, Florianópolis. Anais do VIII Simpósio Brasileiro de Automação Inteligente. Campinas, SP: Sociedade Brasileira de Automática, 2007. v. 1.

  • LIMA, Evangivaldo Almeida ; Luders, Ricardo ; KÜNZLE, L. A. . Análise de Redes de Petri Temporais via Álgebra Intervalar. In: XVI Congresso Brasileiro de Automática, 2006, Salvador - Bahia. XVI Congresso Brasileiro de Automática, 2006.

  • Lima, Evangivaldo A. ; Luders, Ricardo ; Kunzle, Luis Allan . Interval Analysis of Time Petri Nets. In: Multiconference on "Computational Engineering in Systems Applications, 2006, Beijing. The Proceedings of the Multiconference on "Computational Engineering in Systems Applications". p. 51.

  • COSTA, Malgarete Rodrigues da ; KÜNZLE, L. A. . Planejamento Temporal em Inteligência Artificial Usando Rede de Petri Temporizadas. In: IV Seminário Nacional de Controle e Automação, 2005, Salvador - Bahia. IV Seminário Nacional de Controle e Automação, 2005.

  • SILVA, F. ; KÜNZLE, L. A. ; CASTILHO, M. . Planning as Reachability. In: VII Brasilian Symposium on Inteligent Automation and II Latin America IEEE Robotics Symposium, 2005, São Luiz - MA. Anais do VII Brasilian Symposium on Inteligent Automation and II Latin America IEEE Robotics Symposium, 2005.

  • LIMA, Evangivaldo Almeida ; Luders, Ricardo ; KÜNZLE, L. A. . Análise de redes de Petri temporais usando tempo global. In: Simpósio Brasileiro de Automação Inteligente-SBAI, 2005, São Luiz - MA. Anais do VII Simpósio Brasileiro de Automação Inteligente, 2005.

  • SCHASTAI, Valter ; LIMA, Evangivaldo Almeida ; KÜNZLE, L. A. . Sequence Analysis for Time Petri Nets. In: 7th Workshop on Discret Events Systems, 2004, Reims. WODES'04 - 7th Workshop on Discret Events Systems, 2004.

  • CASTILHO, Marcos Alexandre ; SILVA, Fabiano ; KÜNZLE, L. A. ; PALODETO, Viviane ; LECHETTA, Edson . An Investigation on Genetic Algorithms for Generic STRIPS Planning.. In: IX Ibero-American Conference on Artificial Intelligence, 2004, Puebla. Lecture Notes in Computer Science, 2004. v. 3315. p. 185-194.

  • CASTILHO, Marcos Alexandre ; KÜNZLE, L. A. ; SILVA, Fabiano . A Petri Net Based Representation for Planning Problems.. In: V International Conference on Knowledge Based Computer Systems, 2004, Hyderabad. V International Conference on Knowledge Based Computer Systems, 2004.

  • SCHASTAI, Valter ; KÜNZLE, L. A. . Análise de Redes de Petri Temporais Combinando Grafo de Classes e Processos. In: XIV Congresso Brasileiro de Automática, 2002, Natal. Anais do XIV Congresso Brasileiro de Automática, 2002. v. 1.

  • SILVA, Fabiano ; CASTILHO, Marcos Alexandre ; KÜNZLE, L. A. . Petriplan: Um Novo Algoritmo para Geração de Planos. In: I Workshop de Teses e Dissetações em Inteligência Artificial - WTDIA'02, 2002, Recife. Anais do I Workshop de Teses e Dissetações em Inteligência Artificial - WTDIA'02, 2002. v. 1.

  • SIMÃO, Jean Marcelo ; SILVA, Paulo Roberto Oliveira da ; STADZISZ, P. C. ; KÜNZLE, L. A. . Atividades de Controle e Supervisão Assistidas por um Simulador de FMS. In: 1o. Congresso Brasileiro de Engenharia de Fabricação - COBEF, 2001, Curitiba, 2001.

  • SIMÃO, Jean Marcelo ; SILVA, Paulo Roberto Oliveira da ; STADZISZ, P. C. ; KÜNZLE, L. A. . Arquitetura de Software de Controle Orientada a Regras e Agentes para Sistemas Automatizados de Manufatura. In: Simpósio Brasileiro de Automação Inteligente, 2001, Canela, 2001.

  • SIMÃO, Jean Marcelo ; SILVA, Paulo Roberto Oliveira da ; STADZISZ, P. C. ; KÜNZLE, L. A. . Rule and Agent Oriented Software Architecture for Controlling Automated Manufacturing Systems. In: LAPTEC´2001 - II Congresso de Lógica Aplicada à Tecnologia, 2001, São Paulo. Anais do LAPTEC'2001, 2001.

  • KÜNZLE, L. A. ; CHÉZALVIEL, B. P. ; VALETTE, R. . Avaliação Temporal de Roteiros em Redes de Petri com Paralelismo. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis. Anais do XIII Congresso Brasileiro de Automática, 2000.

  • ROSINHA, L. F. F. ; KOSCIANSKI, A. ; STADZISZ, P. C. ; KÜNZLE, L. A. . Arquitetura de Simulação Flexível com Animação Gráfica Aplicada ao Projeto de FMS. In: XIII Congresso Brasileiro de Automática, 2000, Florianópolis. Anais do XIII Congresso Brasileiro de Automática, 2000.

  • SILVA, F. ; CASTILHO, M. ; KÜNZLE, L. A. . Petriplan: a new algorithm for plan generation. In: The International Joint Conference IBERAMIA´2000 - SBIA´2000, 2000, Atibaia. The International Joint Conference IBERAMIA´2000 - SBIA´2000, 2000.

  • MENDES, T. ; KÜNZLE, L. A. . Avaliação Temporal de Roteiros em Redes de Petri com Paralelismo. In: V Seminário de Iniciação Científica do CEFET-PR, 2000, Curitiba, 2000. p. 89-92.

  • CHÉZALVIEL, B. P. ; KÜNZLE, L. A. ; GIRAULT, F. ; VALETTE, R. . Évaluation temporelle de scénario de réseau de Petri incluant du parallélisme. In: 2e Conférence MSR´99 - Modélisation des Systèmes Reactifs, 1999, Cachan - FR. 2e Conférence MSR´99 - Modélisation des Systèmes Reactifs. Paris: Edition Hermès, 1999. p. 131-140.

  • CHÉZALVIEL, B. P. ; VALETTE, R. ; KÜNZLE, L. A. . Formalisation de scénarios, réseaux de Petri e logique linéaire. In: FAC´99 - Journées Formalisation des Activités Concurrentes, 1999, Toulouse - FR. FAC´99 - Journées Formalisation des Activités Concurrentes, 1999. p. 84-95.

  • CHÉZALVIEL, B. P. ; VALETTE, R. ; KÜNZLE, L. A. . Scénario duration characterization of t-timed Petri nets using linear logic. In: IEEE PNPM´99 - 8th International Workshop on Petri Nets and Performance Models, 1999, Zaragoza. IEEE PNPM´99 - 8th International Workshop on Petri Nets and Performance Models, 1999. p. 208-217.

  • KOSCIANSKI, A. ; ROSINHA, L. F. F. ; STADZISZ, P. C. ; KÜNZLE, L. A. . FMS Design and Analysis: Developing a Simulation Environment. In: IEE International Conference on CAD/CAM, Robotics and Factories of the Future, 1999, Águas de Lindóia, 1999.

  • KUNZLE, L. A. ; CHÉZALVIEL, B. P. ; VALETTE, R. ; CARDOSO, J. . Raisonnement temporel pour des systèmes parallèles en vue du diagnostic. In: Colloque AGI'96 (Automatique et Génie Informatique), 1996, Tours. Annales du Colloque AGI'96, 1996. p. 259-262.

  • KÜNZLE, L. A. ; CHÉZALVIEL, B. P. ; VALETTE, R. ; CARDOSO, J. . Raciocínio Temporal e Diagnóstico em Sistemas Paralelos. In: XI Congresso Brasileiro de Automática, 1996, São Paulo, SP. Anais do XI Congresso Brasileiro de Automática, 1996. p. 435-440.

  • CHÉZALVIEL, B. P. ; GIRAULT, F. ; KÜNZLE, L. A. ; VALETTE, R. . Behavioral model diagnosis in manufacturing. In: 2nd International Conference on Industrial Automation, 1995, Nancy. 2nd International Conference on Industrial Automation, 1995. p. 239-244.

  • GIRAULT, F. ; CHÉZALVIEL, B. P. ; KÜNZLE, L. A. ; VALETTE, R. . Linear logic as a tool for reasoning on a Petri net model. In: INRIA/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, 1995, Paris. INRIA/IEEE Conference on Emerging Technologies and Factory Automation ETFA'95, 1995. v. 1. p. 49-57.

  • CARDOSO, J. ; KÜNZLE, L. A. ; VALETTE, R. . Petri net based reasoning for the diagnosis of dynamic discrete event systems. In: IFSA'95 - 6th International Fuzzy Systems Association World Congress, 1995, São Paulo. IFSA'95 - 6th International Fuzzy Systems Association World Congress, 1995. v. 1. p. 333-336.

  • KÜNZLE, L. A. ; CHÉZALVIEL, B. P. ; GIRAULT, F. ; VALETTE, R. . Synthesis of monitoring functions based on a formal specification. In: INRIA European Workshop on Integrated Manufacturing Systems Engineering (IMSE 94), 1994, Grenoble. INRIA European Workshop on Integrated Manufacturing Systems Engineering (IMSE 94), 1994. p. 287-295.

  • VALETTE, R. ; KÜNZLE, L. A. . Réseaux de Petri pour la détection et le diagnostic. In: Journées d'Etude S3, Sûreté, Surveillance, Supervision, Détection et localisation de défaillance, 1994, Paris, 1994.

  • TAZZA, Maurizio ; STADZISZ, P. C. ; KÜNZLE, L. A. . ANALYTICE: Ferramenta para Projeto e Análise de Sistemas Flexíveis de Manufatura. In: IX Congresso Brasileiro de Automática, 1992, Vitória - ES. Anais do IX Congresso Brasileiro de Automática, 1992. p. 1078-1083.

  • TAZZA, Maurizio ; STADZISZ, P. C. ; KÜNZLE, L. A. . A simulation Architecture for Flexible Manufacturing Systems. In: AMSE - International Conference On Information and Systems, 1991, Hangzhou - China. AMSE - International Conference On Information and Systems, 1991. p. 258-261.

  • KÜNZLE, L. A. ; SOUZA, A. ; STADZISZ, P. C. . Uma proposta de Ciclo de Vida para Sistemas Flexíveis de Manufatura. In: XXII Congresso Nacional de Informática, 1989, São Paulo. Anais do XXII Congresso Nacional de Informática, 1989. p. 736-750.

  • MENENDEZ, C. ; KÜNZLE, L. A. . Controle de Sistemas Flexíveis de Manufatura: Uma Abordagem Estruturada. In: 1o. Encontro Regional de Automação e Instrumentação, 1989, Vitória - ES. UFES/SBA/SBI - 1o. Encontro Regional de Automação e Instrumentação, 1989. p. 19-29.

  • KUNZLE, L. A. ; MELLO, L. E. ; GARDONI, R. ; ZANIN, F. C. . EBSERH: Lógica Gerencialista e de Negócios aplicada aos Hospitais Universitários Brasileiros. In: XIII Congreso Latinoamericano de Medicina Social y Salud Colectiva, 2014, El Salvador. XIII Congreso Latinoamericano de Medicina Social y Salud Colectiva, 2014.

  • ZANIN, F. C. ; KÜNZLE, L. A. ; BARRETO, M. . Institucionalização de comissões de relações Interpessoais de trabalho em universidades públicas para casos de violência moral. In: III Seminário Catarinense de Prevenção ao Assédio Moral, 2013, Florianópolis, SC. Anais do III Seminário Catarinense de Prevenção ao Assédio Moral, 2013.

  • PERES, L. M. ; KÜNZLE, L. A. ; TODT, E. . Preliminary Results of Global Time Petri Net Analysis Applied to Embedded Software Prototyping. In: WTR - 12th Brazilian Workshop on Real-Time and Embedded Systems- Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2010, Gramado/RS. Anais do WTR - 12th Brazilian Workshop on Real-Time and Embedded Systems- Brazilian Symposium on Computer Networks and Distributed Systems (SBRC), 2010.

  • KÜNZLE, Erik Eugênio ; Lima, Evangivaldo A. ; KUNZLE, L. A. . Global Time Petri Net Analyzer. In: 2nd International Conference on the Quantitative Evalution of Systems, 2005, Torino. The International Conference on Modeling Techniques and Tools for Computer Performance Evaluation, 2005.

  • KUNZLE, L. A. ; PERES, L. M. ; OLIVEIRA, A. B. ; FRANCO, B. R. ; CELISSAINT, B. ; LABRES, B. H. ; SILVA, C. L. F. ; REKSIDLER JUNIOR, D. ; SPINOSA, E. J. ; DALPIAZ, E. ; MARCINIAK, G. G. ; RUY, M. S. R. ; LUVISON, N. A. F. ; ALMEIDA, P. H. ; MOREIRA NETO, P. M. ; PEREIRA, R. S. ; HIRANO, R. Y. ; BOTELHO, S. F. . Desenvolvimento de Cursos de Capacitação em Informática para Imigrantes. In: 10a. Semana Integrada de Ensino, Pesquisa e Extensão da UFPR, 2018, Curitiba. Anais da 10a. Semana Integrada de Ensino, Pesquisa e Extensão da UFPR. Curitiba: Editora da UFPR, 2018. p. 63.

  • ZANIN, F. C. ; KÜNZLE, L. A. ; SOARES, M. S. ; PERNA, P. O. ; MUNTSCH, S. M. A. . Hospital-Escola na UTI. In: XIV Congreso Latinoamericano de Medicina Social y Salud Colectiva, 2016, Asunción. XIV Congreso Latinoamericano de Medicina Social y Salud Colectiva, 2016.

  • KUNZLE, L. A. ; ZANIN, F. C. ; RIBEIRO, M. M. . O trabalho na pós-graduação e suas implicações: o recorte de uma pesquisa sobre saúde de docentes em uma universidade pública brasileira. 2018. (Apresentação de Trabalho/Seminário).

Seção coletada automaticamente pelo Escavador

Outras produções

FRANCO, S. ; SOARES, L. Q. ; KÜNZLE, L. A. . Assédio Moral e Gestão. 2015. (Programa de rádio ou TV/Mesa redonda).

HELOANI, R. ; MACIEL, R. H. ; ZANIN, F. C. ; KÜNZLE, L. A. . Intervención sindical en casos de acoso moral ? sector público y sector privado. 2013. (Programa de rádio ou TV/Mesa redonda).

TOLFO, S. ; GASPERIN, P. ; ALBANAES, P. ; ZANIN, F. C. ; KÜNZLE, L. A. . Assédio Moral e Ações em Universidades. 2015. (Curso de curta duração ministrado/Extensão).

TAZZA, Maurizio ; STADZISZ, P. C. ; KÜNZLE, L. A. . Sistemas Flexíveis de Manufatura - Projeto e Análise. 1992. (Curso de curta duração ministrado/Outra).

Seção coletada automaticamente pelo Escavador

Projetos de pesquisa

  • 2018 - Atual

    Desenvolvimento de Modelos Matemáticos e Computacionais de Processos en Epidemiologia Crítica a partir da Determinação Social da Saúde, Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Luis Allan Künzle - Coordenador.

  • 2014 - 2016

    Efeitos da cessão do Complexo Hospitalar da UFPR à EBSERH, Descrição: Esta linha de pesquisa busca identificar as consequências laborais e acadêmicas decorrentes da cessão do Complexo Hospitalar do HC da UFPR à Empresa Brasileira de Serviços Hospitalares.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Luis Allan Künzle - Coordenador / Fernanda da Conceição Zanin - Integrante / Paulo de Oliveira Perna - Integrante / Maria Suely Soares - Integrante / Sandra Mara Alessi Muntsch - Integrante / Marcia Marzagão - Integrante., Número de produções C, T & A: 3

  • 2013 - Atual

    Pesquisa sobre saúde de docentes da Universidade Federal do Paraná, Descrição: A presente pesquisa, cujos objetos de estudo são os professores da Universidade Federal do Paraná (UFPR), busca informações acerca do perfil desses trabalhadores, de seus processos laborais e das relações interpessoais estabelecidas no ambiente de trabalho docente, além da identificação dos processos relacionados à saúde desta categoria de servidores.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (15) . , Integrantes: Luis Allan Künzle - Coordenador / Fernanda da Conceição Zanin - Integrante / Sandra Mara Alessi - Integrante / Paulo de Oliveira Perna - Integrante / Maria Suely Soares - Integrante / Marcia Marzagão Ribeiro - Integrante., Financiador(es): Associação dos Professores da Universidade Federal do Paraná - Auxílio financeiro., Número de produções C, T & A: 8

  • 2009 - 2016

    Assédio Moral na Universidade Pública, Descrição: Este projeto consiste em estudar as causas do aumento das ocorrências de assédio moral na universidade pública, sobretudo entre os servidores. Busca também estudar esta violência a partir das mudanças estruturais impostas às universidades, tais como restrições orçamentárias, perda de autonomia, expansão sem infraestrutura e recursos humanos, adoção de modelos de competitividade e de produtividade.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Luis Allan Künzle - Coordenador / Fernanda da Conceição Zanin - Integrante., Número de produções C, T & A: 13

  • 2009 - 2016

    Reestruturação Neoliberal em Universidades Públicas, Descrição: Este projeto tem por objetivo estudar as mudanças de caráter neoliberal e gerencialista que vêm sendo implementadas no Estado Brasileiro e seus reflexos nas Universidades Públicas. Busca-se, em especial, identificar como essas mudanças agem sobre o servidor docente, em suas relações de trabalho e em sua saúde física e mental.. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Luis Allan Künzle - Coordenador / Fernanda da Conceição Zanin - Integrante / Sandra Mara Alessi - Integrante / Paulo de Oliveira Perna - Integrante., Número de produções C, T & A: 6

  • 2005 - 2016

    Análise Temporal de Redes de Petri Temporais, Descrição: Este projeto tem como objetivo desenvolver uma metodologia de análise temporal de redes de petri temporais que não passe pela enumeração de todo o espaço de estados. Para tanto ele trabalha com dois pressupostos. O primeiro consiste no uso da técnica de desdobramento de redes de Petri, obtendo uma rede acíclica, finita e que contém todos os estados acessíveis e todas as sequências de disparos de transições. O segundo consiste em um método de cálculo temporal específico para redes acíclicas.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (2) / Mestrado acadêmico: (5) / Doutorado: (2) . , Integrantes: Luis Allan Künzle - Coordenador / Evangivaldo Almeida Lima - Integrante / Franck Carlos Velez Benito - Integrante., Número de produções C, T & A: 17 / Número de orientações: 8

  • 2005 - Atual

    Planejamento em Inteligência Artificial usando Redes de Petri, Descrição: Este projeto está associado ao trabalho já realizado no Laboratório de Inteligência Artificial do Departamento de Informática da UFPR.. , Situação: Em andamento; Natureza: Pesquisa. , Integrantes: Luis Allan Künzle - Coordenador / Fabiano Silva - Integrante / Castilho, Marcos A. - Integrante., Número de produções C, T & A: 17 / Número de orientações: 3

  • 2002 - 2003

    Arquiteturas e Metodologias para Supervisao de Sistemas Hibridos de Producao, Descrição: Sistemas híbridos de produção são sistemas dinâmicos que possuem, de forma combinada, características contínuas e discretas. O caráter contínuo é caracterizado pela realização de operações em que o estado do sistema evolui continuamente ao longo do tempo. O caráter discreto torna-se explícito quando, por exemplo, decisões lógicas realizadas por um agente supervisor mudam a dinâmica contínua do sistema. Sistemas que englobem estes dois aspectos são encontrados em instalações petroquímicas e indústrias siderúrgicas e celulose, entre outros. O caráter híbrido adicionado à dinâmica inerente aos sistemas industriais impõe a necessidade de acompanhamento da evolução do comportamento do sistema em operação ao longo do tempo. Para tanto, torna-se imperativo dispor de modelos matemáticos que sejam capazes de retratar essa evolução do comportamento, combinando as abordagens contínua e discreta. Isso implica manipular de forma integrada sistemas algébrico-diferenciais (aspecto contínuo) e autômatos de estados finitos (aspecto discreto). A busca de modelos que integrem ambos os aspectos em um único formalismo ou que sejam baseados na interação entre diferentes formalismos, para as partes contínua e discreta, é um tema de pesquisa que tem se ampliado significativamente nos últimos anos. Desta forma, a arquitetura de controle supervisório a ser desenvolvida, deve satisfazer as particularidades destes diferentes formalismos, integrando os requisitos necessários para uma aplicação industrial. Este assunto de pesquisa é um problema real de interesse do setor industrial.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Mestrado acadêmico: (1) Doutorado: (1) . , Integrantes: Luis Allan Künzle - Integrante / Paulo Cézar Stadzisz - Integrante / Lúcia Valéria Ramos Arruda - Coordenador / Flávio Neves Jr. - Integrante., Financiador(es): Conselho Nacional de Desenvolvimento Científico e Tecnológico - Auxílio financeiro., Número de produções C, T & A: 3 / Número de orientações: 3

Histórico profissional

Seção coletada automaticamente pelo Escavador

Endereço profissional

  • Universidade Federal do Paraná, Setor de Ciências Exatas, Departamento de Informática. , Centro Politécnico, Jardim das Américas, 81531990 - Curitiba, PR - Brasil - Caixa-postal: 19081, Telefone: (41) 33613410, URL da Homepage:

Seção coletada automaticamente pelo Escavador

Experiência profissional

2018 - Atual

Universidad Andina Simon Bolivar

Vínculo: Pós Doutorado, Enquadramento Funcional: Pós Doutorado, Regime: Dedicação exclusiva.

Atividades

  • 03/2018

    Pesquisa e desenvolvimento , Área de Salud - Universidad Andina Simón Bolívar - sede Quito, .,Linhas de pesquisa

2015 - Atual

Universidade Federal do Paraná

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

2006 - 2015

Universidade Federal do Paraná

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

2005 - 2006

Universidade Federal do Paraná

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

Atividades

  • 08/2014

    Extensão universitária , Reitoria, Pró-Reitoria de Extensão e Cultura.,Atividade de extensão realizada, Desenvolvimento de Cursos de Capacitação em Informática para Imigrantes.

  • 04/2005

    Pesquisa e desenvolvimento , Programa de Pós-Graduação em Informática, .,Linhas de pesquisa

  • 04/2005

    Ensino, Informática, Nível: Pós-Graduação,Disciplinas ministradas, Metodologia Científica e Políticas Científica e Tecnológica, Oficina de Métodos Formais, Redes de Petri, Tópicos em Métodos Formais

  • 04/2005

    Ensino, Bacharelado em Ciência da Computação, Nível: Graduação,Disciplinas ministradas, Circuitos Lógicos, Introdução aos Sistemas Computacionais, Metodologia Científica, Métodos Numéricos, Projeto de Sistemas Digitais e Microprocessadores

  • 11/2014 - 11/2016

    Direção e administração, Curso de Bacharelado em Informática Biomédica, .,Cargo ou função, Vice-Coordenador.

  • 08/2008 - 07/2016

    Outras atividades técnico-científicas , Curso de Bacharelado em Ciência da Computação, Curso de Bacharelado em Ciência da Computação.,Atividade realizada, Tutoria do Grupo do Programa de Educação Tutorial em Computação da UFPR.

  • 07/2013 - 07/2015

    Conselhos, Comissões e Consultoria, Reitoria, Conselho de Ensino, Pesquisa e Extensão.,Cargo ou função, Membro Titular.

  • 07/2013 - 07/2015

    Conselhos, Comissões e Consultoria, Reitoria, Conselho Universitário.,Cargo ou função, Membro Titular.

  • 06/2008 - 06/2010

    Conselhos, Comissões e Consultoria, Departamento de Informática, .,Cargo ou função, Coordenador de Extensão.

  • 06/2008 - 06/2010

    Conselhos, Comissões e Consultoria, Reitoria, Pró-Reitoria de Extensão e Cultura.,Cargo ou função, Membro do Corpo Editorial da Revista Extensão em Foco.

  • 06/2008 - 06/2010

    Conselhos, Comissões e Consultoria, Setor de Ciências Exatas, .,Cargo ou função, Membro da Comissão de Extensão.

1997 - 2005

Universidade Tecnológica Federal do Paraná

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

1991 - 1997

Universidade Tecnológica Federal do Paraná

Vínculo: , Enquadramento Funcional: Professor Assistente, Carga horária: 40, Regime: Dedicação exclusiva.

1990 - 1991

Universidade Tecnológica Federal do Paraná

Vínculo: Celetista, Enquadramento Funcional: Professor Substituto, Carga horária: 40

Atividades

  • 12/1997 - 03/2005

    Ensino, Engenharia Elétrica e Informática Industrial, Nível: Pós-Graduação,Disciplinas ministradas, Estudos Especiais - Métodos de Análise de Redes de Petri Temporais, Estudos Especiais - Simulação e Análise de Sistemas de Manufatura, Redes de Petri

  • 12/1997 - 11/2004

    Ensino, Curso de Engenharia Industrial Elétrica Ênfase Ele, Nível: Graduação,Disciplinas ministradas, Métodos II - Linguagens Formais e Autômatos

  • 08/1999 - 12/1999

    Extensão universitária , Departamento de Informática, .,Atividade de extensão realizada, Disciplina de Métodos Formais no Curso de Especialização.

  • 03/1999 - 07/1999

    Extensão universitária , Programa de Pós Graduação Em Eng Elétrica e Informática Industrial, .,Atividade de extensão realizada, Projeto de um curso de Engenharia de Computação.

2005 - Atual

Associação dos Professores da Universidade Federal do Paraná

Vínculo: Sem vínculo funcional, Enquadramento Funcional: Associado

Atividades

  • 06/2015

    Direção e administração, Associação dos Professores da Universidade Federal do Paraná, Direção.,Cargo ou função, Vice-presidente.

  • 06/2009

    Pesquisa e desenvolvimento , Associação dos Professores da Universidade Federal do Paraná, .,Linhas de pesquisa

  • 03/2016 - 06/2016

    Serviços técnicos especializados , Associação dos Professores da Universidade Federal do Paraná, .,Serviço realizado, Elaboração de um dossiê contra a atuação da EBSERH na UFPR.

  • 06/2013 - 06/2015

    Direção e administração, Associação dos Professores da Universidade Federal do Paraná, Conselho de Representantes da APUFPR-SSIND.,Cargo ou função, Presidente.

  • 06/2011 - 06/2013

    Direção e administração, Associação dos Professores da Universidade Federal do Paraná, Direção.,Cargo ou função, Presidente.

  • 06/2009 - 06/2011

    Direção e administração, Associação dos Professores da Universidade Federal do Paraná, Direção.,Cargo ou função, Secretário Geral.

1997 - Atual

Associação Nacional dos Docentes de Ensino Superior

Vínculo: Sem vínculo funcional, Enquadramento Funcional: Associado

Atividades

  • 06/2002 - 06/2004

    Direção e administração, Secretaria Regional Sul, .,Cargo ou função, Vice-presidente.

  • 06/2000 - 06/2002

    Direção e administração, Secretaria Regional Sul, .,Cargo ou função, Vice-presidente.

1997 - 2005

Sindicato dos Docentes do CEFET-PR

Vínculo: Sem vínculo funcional, Enquadramento Funcional: Associado

Atividades

  • 06/2001 - 06/2003

    Direção e administração, Direção, .,Cargo ou função, Vice-presidente.

  • 06/1999 - 06/2001

    Direção e administração, Direção, .,Cargo ou função, Presidente.

1987 - 1988

Pontifícia Universidade Católica do Paraná

Vínculo: Celetista, Enquadramento Funcional: Professor, Carga horária: 8

Atividades

  • 10/1987 - 02/1988

    Ensino, Engenharia da Computação, Nível: Graduação,Disciplinas ministradas, Projetos Digitais