dear friends
can any body help me to write this application?
I have to write a programm in nesc that will be
run on some nodes and create a MIS (Maximal Independent set )
To formally define the rules the following
predicates defined for each node v are needed
inNeighbor(v)≡∃w ∈N(v): w.state = IN.
waitNeighborWithLowerId(v)≡∃w ∈N(v):
w.state= WAIT ∧w.id <v.id.
inNeighborWithLowerId(v)≡∃w ∈N(v):
w.state= IN ∧w.id <v.id.
The
self-stabilizing algorithm AMIS uses the
followingfour
rules:
1.
state = OUT∧・ﾊinNeighbor(v)→state := WAIT.
2.
state = WAIT ∧inNeighbor(v)→state := OUT.
3.
state = WAIT ∧・ﾊinNeighbor(v) ∧
¬ waitNeighborWithLowerId(v)→state := IN.
4.
state = IN ∧inNeighbor(v)→state := OUT.
_______________________________________________
Tinyos-help mailing list
Tinyos-help@millennium.berkeley.edu
https://www.millennium.berkeley.edu/cgi-bin/mailman/listinfo/tinyos-help
