Design of discrete event systems supported on wireless sensors and actuator networks using colored Petri Nets