Le scénario
Deux tâches automatisées doivent acquérir deux ressources partagées pour s’exécuter. L’interblocage est évité en imposant un ordre strict d’acquisition des ressources.
Ce que contient ce dessin
Comprenez les décisions qui le sous-tendent.
01
Imposer un ordre aux demandes de ressources
02
Modéliser le système avec des réseaux de Petri pour vérifier la vivacité et la sûreté
Utiliser ce modèle pour coordonner des tâches concurrentes partageant plusieurs ressources, notamment dans la fabrication automatisée, la coordination de robots ou les transactions de bases de données.