As one can see in figure 2.4 the transitions between different P-states (sets of properties) can either be deterministic or non-deterministic. In the deterministic case with follows a successor state always after the predecessor state has occured. In the non-deterministic case it holds that and the occurence of the different successor P-states follows some probability distribution . Thus if is a probability distribution

(2.14) | |||

(2.15) |

then the possible sequence of occuring P-states will depend only on P. There are two interesting alternate cases: (1) The probability function has some memory and (2) the probability function shows some dynamics, i.e. it is changing during time. Furthermore there could be a combination of (1) and (2) mixing memory as well as dynamics.

Gerd Doeben-Henisch 2010-03-03