Separability in Persistent Petri Nets
Résumé
We prove that plain, bounded, reversible and persistent Petri nets are weakly and strongly separable.
Nous prouvons que les reseaux de Petri ordinaires, bornes, reversibles et persistants sont faiblement et fortement separables.