Distributed simulation of modular time Petri nets: an approach and a case study exploiting temporal uncertainty