La demande
“Créer un réseau de Petri pour l’entrée dans un club : les personnes achètent des billets disponibles en quantité limitée, puis utilisent un seul contrôle de validation pour entrer.”
Essayez ensuiteAjouter une réserve de billets VIP distincte.Modifier la capacité du contrôle d’entrée pour permettre deux personnes.
Ce que contient ce dessin
Comprenez les décisions qui le sous-tendent.
01
Modéliser la réserve de billets comme une place contenant des jetons représentant les billets disponibles afin de limiter la capacité.
02
Utiliser un jeton représentant le contrôle d’entrée pour imposer l’exclusion mutuelle lors de la validation et garantir qu’une seule personne entre à la fois.
Utiliser ce modèle pour tout système comportant des ressources limitées et des étapes de validation séquentielles, comme l’accès à un événement, le placement au restaurant ou les comptoirs de service.