Vivacité dans les réseaux de Petri (transitions mortes, vivantes, quasi-vivantes)