Simulação e síntese de controladores paralelos a partir de especificações baseadas em redes de Petri
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.
Referências
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.
