Dossier processus

Un dossier processus est une marque transférée d'objet à objet pendant la simulation. Les dossiers processus peuvent être répartis au niveau des ramifications de processus et fusionnés à nouveau ultérieurement. Si un dossier processus atteint un événement de fin, il est supprimé.