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

Abstract

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.

Petri Nets prove to be an efficient methodology for modelling discrete-event systems with parallel activities. This is due to the availability of a set of formal techniques, for validation of the modelled system. The advantages on using Petri Nets in relation to other modelling paradigms are considered. Modifications to the standard PN behaviour are proposed which allow fast specification of synchronous parailel controllers. A new software framework is presented which allows complex parailel controllers, to be specified, analysed, animated, simulated and synthesized for a Petai Net-based controiler. The analysis of a detailed example doses this communication.