Redes de Petri

Departamento de Engenharia Mecatrnica e Sistemas Mecnicos PMR-2460 Modelagem e Controle de Sistemas Discretos Aula 3 Redes de Petri Turma 4 Cleber Miranda 5694543 Luiz Malatesta 5639335 Redes de Petri Uma rede de Petri ou rede de transio uma das vrias representaes HYPERLINK http//pt.wikipedia.org/wiki/MatemC3A1tica o Matemtica matemticas para HYPERLINK http//pt.wikipedia.org/wiki/Sistema_distribuC3ADdo o Sistema distribudo sistemas distribudos discretos. Como uma linguagem de modelagem, ela define graficamente a estrutura de um sistema distribudo como um HYPERLINK http//pt.wikipedia.org/wiki/Grafo o Grafo grafo direcionado com comentrios. Possui ns de posio, ns de transio, e arcos direcionados conectando posies com transies. Propriedades das Redes de Petri Listamos aqui algumas propriedades das Redes de Petri encontradas em nosso exerccio Redes_de_Petri_Cleber_Luiz.hps enviado por e-mail anexado a este relatrio. Reiniciabilidade Uma Rede de Petri dita reinicivel se, para qualquer marcao alcanvel, for possvel voltar marcao inicial. Vivacidade Uma Rede de Petri dita viva se for possvel executar todas as suas aes a partir de qualquer uma das marcaes alcanveis da rede. Alcanabilidade Uma marcao dita alcanvel em uma Rede de Petri se existir uma seqncia finita de disparos que conduza a ela a partir da marcao inicial. Se todas as marcaes alcanveis forem decorrentes da inicial, a rede dita alcanvel. Persistncia Uma RdP dita persistente se havendo mais de uma aes habilitadas, em qualquer das marcaes da rede, a ocorrncia de uma delas no desabilita a ocorrncia das demais. Podemos ainda definir de uma forma um pouco diferente as sequintes propriedades Sequncia Um evento ocorre exatamente se, e somente se outro evento tiver ocorrido anteriormente, formando assim uma sequncia. Conflito Dois eventos podem ocorrer separadamente, porem nunca ocorrem juntos. Concorrncia Dois eventos podem ocorrer simultaneamente, ou seja,