La réduction de la commande partielle est une technique pour réduire la taille de l’espace d’état à rechercher par une vérification de modèle ou de planification. Il exploite la commutativité des transitions exécutées simultanément, qui aboutissent au même état lorsqu'elles sont exécutées dans des ordres différents.