Le modèle classique de concurrence en réseau de Petri : deux processus se disputent un seul jeton Mutex. Chaque processus peut entrer dans sa section critique, mais le jeton partagé garantit qu'ils n'y entrent jamais simultanément. Les deux transitions d'entrée sont activables jusqu'à ce que l'une se déclenche et consomme la ressource.