Report - Redes de Petri - ene.unb.br · Propriedades de Redes de Petri ¥ Vivacidade: uma RdP é dita viva se, para uma marcação inicial x 0 , existe uma seqüência x 1 , x 2 , , tal que

Please pass captcha verification before submit form