Such restrictions still allow complex modelling of distributed and mobile systems, but have polynomial complexity in model checking.
Solche Einschränkungen erlauben immer noch die komplexe Modellierung von z. B. mobilen Systemen, haben aber polynomielle Komplexität beim Model Checking.