Port-Numbered Network Simulator

0 - 02 - 01 - 10 - 10 - 1[0][1][2][3][4]

Link Definitions

Init Function

Send Function

Receive Function

Initial StateCurrent State
[0]
[1]
[2]
[3]
[4]

Round: 0

Two-color the graph into state index:

Load Algorithm