Le projet sog-rop vise à fournir des outils pour l'analyse et la réduction de systèmes à événements partiels. Il permet de construire des graphes symboliques observables et de calculer des ensembles amples pour la réduction de modèles, contribuant ainsi à atténuer l'explosion d'état dans les systèmes concurrents.