Dans sa version 2.1, l’outil PragmaDev Process de PragmaDev permet de vérifier les processus métier décrits avec la notation BPMN (Business Process Model and Notation). La nouvelle version de l'outil introduit l'affichage de heatmaps génériques et le calcul automatique des chemins critiques durant une simulation. Les organisations ou systèmes complexes sont fondés sur des processus qui peuvent être décrits dans des modèles graphiques, avec comme notation standard le BPMN.

- Intégration d’un simulateur statistique qui s'appuie sur BPSim, une notation complémentaire à BPMN.

- Informations de temps et de coûts ajoutées aux éléments du modèle avec l’introduction de la notion de variabilité statistique

- Exécution du programme lancée automatiquement afin d'évaluer la performance du processus, et calcul du chemin critique

- Après une simulation, les informations statistiques sont disponibles pour chaque symbole et sont affichées graphiquement dans l'éditeur

- Connexion au modèle d’un fichier heatmap noté en XML afin d'afficher des informations quantitatives de manière graphique avec des couleurs.