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