A modeling methodology for designing agents networks using timed hybrid Petri nets. (April 2017)