Der Fahrstuhl, welcher sich unter den Beispielen befindet, modelliert einen Fahrstuhl, der 4 Stockwerke bedient.
Als Eingabewerte dienen hier vier Knöpfe für die jeweiligen Stockwerke, wobei es in diesem Fall egal ist, ob jemand im Fahrstuhl den Knopf 2. Stock drückt, oder im 2. Stock steht und den Fahrstuhl ruft.
Als Ausgabewerte haben wir vier Signale, die angeben, in welchem Stockwerk sich der Fahrstuhl gerade befindet.
Der Automat enthält 6 Zustände:
| Zustand | Beschreibung | K | EG | 1 | 2 |
| Keller | gibt an, daß sich der Automat im Keller befindet | 1 | 0 | 0 | 0 |
| Erdgeschoß vu | gibt an, daß sich der Automat von unten kommend im Erdgeschoß befindet | 0 | 1 | 0 | 0 |
| Erdgeschoß vo | gibt an, daß sich der Automat von oben kommend im Erdgeschoß befindet | 0 | 1 | 0 | 0 |
| 1. Stock vu | gibt an, daß sich der Automat von unten kommend im 1. Stock befindet | 0 | 0 | 1 | 0 |
| 1. Stock vo | gibt an, daß sich der Automat von oben kommend im 1. Stock befindet | 0 | 0 | 1 | 0 |
| 2. Stock | gibt an, daß sich der Automat im 2. Stock befindet | 0 | 0 | 0 | 1 |
Befindet sich der Fahrstuhl im Erdgeschoß oder 1. Stock, so soll er, sofern mehrere Knöpfe gedrückt sind, zunächst in die gleiche Richtung weiterfahren. Daher wurden für diese Stockwerke jeweils zwei Zustände eingefügt, die angeben aus welcher Richtung der Fahrstuhl kommt.
Übergangsbedingungen:
Wenn nur ein Knopf gedrückt ist, soll der Fahrstuhl natürlich in dieses Stockwerk fahren. Sind mehrere Knöpfe gedrückt, so soll er seine Fahrtrichtung beibehalten und das nächstliegende Stockwerk anfahren.
| von | nach | wenn |
| Keller | Erdgeschoß vu | Knopf_EG |
| Keller | 1. Stock | !Knopf_EG&Knopf_1 |
| Keller | 2. Stock | !Knopf_EG&!Knopf_1&Knopf_2 |
| Erdgeschoß vu | Keller | !Knopf_2&!Knopf_2&Knopf_K |
| Erdgeschoß vu | 1. Stock | Knopf_1 |
| Erdgeschoß vu | 2. Stock | !Knopf_1&Knopf_2 |
| u.s.w. |
