For example, arbitration introduces unbounded nondeterminism which raises issues with model checking because it causes explosion in the state space and can even cause models to have an infinite number of states.
De exemplu, arbitrarea introduce nondeterminism nelimitat, care ridică probleme cu verificarea modelului, provocând o explozie în spațiul stărilor și poate duce chiar la modele cu un număr infinit de stări.