Those expressions of a defined properties language which really have to be applied for a problem description are usually only a subset of the set of all possible expressions.
(4.5) |
In the above case we can possibly assume the following static properties: assuming that the 'usual' state of the keys is 'not pressed' and the usual state of the door 'closed' as 'not open'. As static relations we could assume . With these assumptions we can have the following possible situations with :
(4.6) | |||
(4.7) | |||
(4.8) | |||
(4.9) | |||
(4.10) |
How does this help for the consctruction of a transition diagram?
Gerd Doeben-Henisch 2010-03-03