Supervisory control of semiautonomous mobile sensor networks : a Petri net design approach