A cosa servono i controllori con specifica a stati proibiti? un esempio in cui sono utili?

Servono per poter porre delle forzature o delle restrizioni alla rete con lo scopo di poter rispettare un certo invariante un caso è il poter garantire l'utilizzo in mutua esclusione di una risorsa per esempio lettori e scrittori