Outil dédié à la génération automatique de fichiers .gspn pour le vérificateur de modèles COSMOS. Il permet de modéliser des lignes de production industrielles sous forme de modèles DTMC (chaînes de Markov à temps discret) avec une politique de service bloquante. Les fichiers générés sont utilisés pour analyser et valider des systèmes de production complexes, facilitant ainsi l'optimisation et la vérification de leur fonctionnement.