A graph theoretical characterization of minimal deadlocks in Petri nets
Origine : Fichiers produits par l'(les) auteur(s)