The exercise for Wednesday 21. October is also based on Oblig2.
Model the services static and sightmap using submachine states. Make a separate data handling process where the data of all the static sights should be stored. You may do this in main memory.
Model the service info only taking into account the static sights.
The invariant is still that there is only one tourist at the museum at one time which is hopefully improbable in real life.