In this paper we study the space of organisation models that are reachable via model transformation in our Sonar-framework. The space of organisation models is defined as a Petri net, where each reachable marking represents one Sonar-organisation model and each transitions represent a model transformation.