But du système : 

On désire construire un système chargé de contrôler l'accès de certaines personnes aux divers bâtiments d'un "lieu de travail" : campus universitaire, site industriel, enceinte militaire, centre commercial, etc.

Autorisation :

Le contrôle s'effectue sur la base de l'autorisation que chaque personne concernée est censée posséder. Cette autorisation doit lui permettre, sous le contrôle du système, de pouvoir pénétrer dans certains bâtiments et pas dans d'autres. Par exemple une certaine personne pe1 est autorisée à pénétrer dans le bâtiment  ba1 et pas dans le bâtiment  ba2; par contre, une autre personne pe2 a le droit de pénétrer dans ces deux bâtiments.  Ces autorisations sont données de façon "permanente": autrement dit, elles ne changent pas durant le fonctionnement normal du système.

Lorsqu'une personne se trouve à l'intérieur d'un bâtiment, sa sortie doit également  être contrôlée  par le système de façon à ce qu'il soit possible de savoir à chaque instant qui se trouve dans un bâtiment donné.

Cartes magnétiques :

Chaque personne reçoit une carte magnétique qui lui est assignée en propre au moyen d'un identificateur unique gravé sur celle-ci. Des lecteurs de cartes sont installés à chaque entrée et à chaque sortie de bâtiment. À proximité de chaque lecteur, on trouve deux voyants : un voyant rouge et un voyant vert. Chacun de ces voyants peut  être allumé ou éteint.

Tourniquets :

Les transferts des personnes d'un bâtiment à l'autre s'effectuent grace à des "tourniquets" qui sont normalement bloqués : personne ne peut les franchir sans le contrôle du système. Lorsqu'un tourniquet est débloqué par le système (voir le paragraphe ci-dessous), le passage éventuel d'une personne est détecté par un capteur. Chaque tourniquet n'est affecté qu'à une seule des deux tâches, entrer ou sortir, il n'existe pas de tourniquet "double sens".

Protocole d'accès :

L'entrée dans un bâtiment ou la sortie d'un bâtiment obéit à une procédure systématique composée d'une suite d'événements qui sont les suivants :

Une personne souhaitant entrer ou sortir d'un bâtiment introduit sa carte dans le lecteur du tourniquet concerné.

On se trouve alors devant l'alternative suivante :

• Si la personne est autorisée à pénétrer dans le bâtiment en question (elle est toujours autorisée à sortir), le voyant vert s'allume et le tourniquet se débloque pour 30 secondes. On se trouve alors en présence d'une  nouvelle  alternative:

• Dès que quelqu'un franchit effectivement le tourniquet avant la fin du laps de temps de 30 secondes le voyant vert s'éteint aussitôt et le tourniquet se bloque.
• Si, par contre, 30 secondes passent sans que personne ne franchisse le tourniquet, le voyant vert s'éteint alors et le tourniquet se bloque également.

 
• Si la personne n'est pas autorisée à pénétrer dans le bâtiment, le voyant rouge s'allume pour deux secondes et, bien sûr, le tourniquet reste bloqué.