Trace Analysis Results for Action Node 0 received packet from itself(node0_r_0L0)

This text provides more details for action Node 0 received packet from itself(node0_r_0L0).
Action is of type: local, supposed to change variables of a single process only.
Action Node 0 received packet from itself(node0_r_0L0) occurs 46 times, which accounts for 4.60 % of all events.
On average an action occurs 12.05 times, so this action is above average.
Action occurs at position 62 for the first time, at position 983 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.

Variable	Enabling Range	State Transformation	Remarks
State of node 0(node0_state)	= 1	not modified	Action occurs at full range of values!
Number of packets dropped by node 0(node0_dropped)	= 0	not modified	Action occurs at full range of values!
Number of packets received by node 0(node0_received)	in {0,...,45}	v'=v+1
Number of packets sent by node 0(node0_sent)	= 1	not modified

List of Warnings

Type 9: Action Node 0 received packet from itself(node0_r_0L0) is not present in any cycles observed in this trace.
Type 10: Action Node 0 received packet from itself(node0_r_0L0) is not element of any action invariant computed for the linear state transformations performed by the actions of this trace.