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.