Les modifications apportées à la vue Explorateur de modèles se reflètent dans les diagrammes détenus par le même automate fini, et celles apportées à une région dans l'éditeur de diagrammes se reflètent dans la vue Explorateur de modèles. Vous pouvez attribuer la valeur "faux" aux propriétés canoniques d'une région de sorte que les modifications apportées à une région dans la vue Explorateur de modèles ne se reflètent pas dans les diagrammes d'automate fini correspondants et qu'une région puisse être éditée indépendamment des autres diagrammes du même automate fini.