Report copyright - 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
Please pass captcha verification before submit form