has characteristic has parameter stochastic system behaviour logical model simulation method asynchronous logical model simulation method 2013-01-28 AZ Qualitative (logical) models specify the evolution rules of their components. It the case of an asynchronous updating all enabled transitions are performed independently: a state has as many successors as the number of transitions enabled in this state. An 'asynchronous logical model simulation method' specifies a rule to guide the choice of a unique transition at each step (for example random). asynchronous updating policy species transition probabilities