Představte si, že vás najala firma provozující parkoviště pouze pro zelená auta. Mají na vás tento požadavek:
Vytvořte závoru, která se automaticky otevírá a zavírá. Závora se otevře pouze pro zelená auta. Závora se zavře, pokud již auto není v prostoru závory. Pokud se auto zastaví, závora čeká.