Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri

  • João M. Fernandes Universidade do Minho
  • António M. Pina Universidade do Minho
  • Alberto J. Proença Universidade do Minho

Resumo


As Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelação de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponível de técnicas formais para análise estrutural e dinâmica dos sistemas modelados. Apresentam-se as vantagens na utilização de RdP, relativamente a outros paradigmas de modelação, na especificação de controladores com comportamento paralelo. São também propostas algumas alterações ao comportamento habitual das RdP, de forma a conseguir modelar eficientemente os controladores. É apresentado um novo ambiente de desenvolvimento que permite especificar, analisar, animar, simular e sintetizar estruturas de controlo digitais, a partir de uma RdP. Finalmente, é considerado e analisado detalhadamente um exemplo.

Palavras-chave: Redes de Petri, controladores digitais, VHDL, sistemas ECAD

Referências

Alberto J. Proença. Advanced Controller Design. In Microcomputer '91 - design, practice, education, number 39 in Konferencje, pp. 191- 205. Prace Naukowe Instytutu Cybernetyki Technicznej Politechniki Wroclawskiej, 1991.

James Pardey and Martin Bolton. Logic Synthesis of Synchronous Parallel Controllers. Proceedings of the IEEE International Conference on Computer Design, pp. 454-7, 1991.

James L. Peterson. Petri Net Theory and the Modeling of Systems. Prentice-Hall, Englewood Cliffs, New Jersey, E.U.A., 1981.

Tadao Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77(4):541-80, Abril 1989.

R. Valette, M. Courvoisier, J.M. Bigou, and J. Albukerque. A Petri Net Based Programmable Logic Controller. In IFIP First International Conference on Computer Applications in Production and Enginnering, Abril 1983.

James L. Peterson. Petri Nets. Computing Surveys, 9(3):223- 52, Setembro 1977.

Pierre Azema, Robert Valette, and Michel Diaz. Petri Nets as a Common Tool for Design Verification and Hardware Simulation. In Proceedings of the 13th ACM/ IEEE Design Automation Conference, pp. 109-16, Junho 1976.

João M. Fernandes. Redes de Petri e VHDL na Especificação de Controladores Paralelos. Dissertação de Mestrado, Dep. Informática, Universidade do Minho, Braga, Portugal, Julho 1994.
Publicado
29/07/1995
FERNANDES, João M.; PINA, António M.; PROENÇA, Alberto J.. Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri. In: INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE AND HIGH PERFORMANCE COMPUTING (SBAC-PAD), 7. , 1995, Canela. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 1995 . p. 481-492. DOI: https://doi.org/10.5753/sbac-pad.1995.19882.