Trace Analysis Results for Action C1StartService(9)

This text provides more details for action C1StartService(9).
Action is of type: undirected interaction, may change variables of several processes.
Action C1StartService(9) occurs 732 times, which accounts for 13.37 % of all events.
On average an action occurs 456.08 times, so this action is above average.
Action occurs at position 3 for the first time, at position 5469 for the last time.
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.
VariableEnabling RangeState TransformationRemarks
Avail(Avail) = 1 v'=v Action performs identity function!
Failed(Failed) = 0 not modified
C1WaitsForServer(C1WaitsForServer) in {1,2} v'=v-1
C1WaitsForUser(C1WaitsForUser) in {0,1} not modified
C2WaitsForServer(C2WaitsForServer) in {0,1} not modified Action occurs at full range of values!
C2WaitsForUser(C2WaitsForUser) in {0,1} not modified Action occurs at full range of values!
C1InService(C1InService) = 0 v'=v+1
C2InService(C2InService) = 0 not modified
Sidle(Sidle) = 1 v'=v-1

List of Warnings