Microaula em Método CELULA • Prévia Aberta

<p>Teoria e aplicação rigorosa das Redes de Petri propostas por Carl Adam Petri (1962). Formaliza a quádrupla matemática PN = (P, T, F, W, M0): conjunto finito de Lugares (Places - estados ou condições), conjunto finito de Transições (Transitions - eventos ou ações), conjunto de Arcos direcionados (Flow relation), função de pesos (Weights) e Marcação Inicial (Initial Marking M0 com tokens). Modela a regra clássica de habilitação e disparo de transições (firing rule) e a evolução dinâmica das marcações. Desenvolve os métodos analíticos algébricos: representação por Matriz de Incidência (C = Post - Pre), Equação Fundamental de Estado (Mk = M0 + C * sigma, onde sigma é o vetor de contagem de disparos) e o cálculo de Invariantes estruturais: P-Invariantes (conservação de fichas e recursos físicos compartilhados) e T-Invariantes (sequências cíclicas de disparos que reproduzem a marcação de origem). Constrói o Grafo de Acessibilidade (Reachability Graph) e a Árvore de Cobertura para redes ilimitadas pelo algoritmo de Karp-Miller. Investiga tipologias e extensões avançadas: Redes com Capacidades de Lugares e Pesos em arcos; Redes Limitadas (k-bounded) e Seguras (1-bounded); Redes de Petri com Arcos Inibidores (Inhibitor Arcs - capacitando a modelagem de teste a zero e prioridades estritas); Redes de Petri Temporizadas (Timed Petri Nets - atribuição de atrasos determinísticos e estocásticos a lugares ou transições); Redes de Petri Coloridas (Coloured Petri Nets - CPN, associando tipos de dados complexos a tokens); e Redes de Petri Contínuas e Híbridas para sistemas ciber-físicos.</p>

Teoria e aplicação rigorosa das Redes de Petri propostas por Carl Adam Petri (1962). Formaliza a quádrupla matemática PN = (P, T, F, W, M0): conjunto finito de Lugares (Places - estados ou condições), conjunto finito de Transições (Transitions - eventos ou ações), conjunto de Arcos direcionados (Flow relation), função de pesos (Weights) e Marcação Inicial (Initial Marking M0 com tokens). Modela a regra clássica de habilitação e disparo de transições (firing rule) e a evolução dinâmica das marcações. Desenvolve os métodos analíticos algébricos: representação por Matriz de Incidência (C = Post - Pre), Equação Fundamental de Estado (Mk = M0 + C * sigma, onde sigma é o vetor de contagem de disparos) e o cálculo de Invariantes estruturais: P-Invariantes (conservação de fichas e recursos físicos compartilhados) e T-Invariantes (sequências cíclicas de disparos que reproduzem a marcação de origem). Constrói o Grafo de Acessibilidade (Reachability Graph) e a Árvore de Cobertura para redes il...