Trace Analysis Results for Action t23.unnamed(b105.unnamed)

This text provides more details for action t23.unnamed(b105.unnamed).
Action is of type: local, supposed to change variables of a single process only.
Action t23.unnamed(b105.unnamed) occurs 2 times, which accounts for 2.00 % of all events.
On average an action occurs 2.94 times, so this action is below average.
Action occurs at position 23 for the first time, at position 37 for the last time.
Note that the action is not(!) present in the last 63 events, which is 63.00% of all events. May be it becomes rare or even dead?
It never follows another action in zero time, there is always a non-zero delay observed before this action occurs.

Enabling Set and State Transformations

The following table shows for what value setting of variables the action occurs and what state transformation it performs.The table shows only those variables that belong to processes that the action corresponds to.

Variable	Enabling Range	State Transformation
p25.schwarz(b72.schwarz)	= 0	not modified
p26.schwarz(b74.schwarz)	= 0	not modified
p27.schwarz(b76.schwarz)	= 1	v'=v-1
p28.schwarz(b78.schwarz)	= 0	not modified
p29.schwarz(b91.schwarz)	= 0	not modified
p30.schwarz(a108.schwarz)	= 0	v'=v+1
p31.schwarz(a96.schwarz)	= 0	not modified
p32.schwarz(a113.schwarz)	= 0	not modified
p33.schwarz(b112.schwarz)	= 1	v'=v-1
p34.schwarz(a101.schwarz)	= 0	not modified

List of Warnings

Type 9: Action t23.unnamed(b105.unnamed) is not present in any cycles observed in this trace.
Type 16: Action t23.unnamed(b105.unnamed) may deadlock, because it occurs the last time at event 37 and is not seen for the remaining 63.00 percent of the trace.