![© TotalEnergies Modules du package Simulation de la suite logicielle GRIF : Petri, Petro, BStoK et Flex](https://grif.totalenergies.com/sites/g/files/wompnd2446/f/styles/total_585x294/public/atoms/image/edito_xxl_simulation_package_modules_3.png?itok=XtDG_LeZ)
Le Package Simulation comprend 4 modules :
- Petri : modélisation par "réseaux de Petri stochastiques à prédicats."
- BStoK : construction de blocs diagrammes stochastiques utilisant des bibliothèques de composants basées sur les réseaux de Petri.
- Petro : modélisation de systèmes multi-flux orientés sur les activités de procédés.
- Flex : élaboration de diagrammes multi-flux avec possibilité de créer ses propres prototypes en réseaux de Petri.