Expressiveness and analysis of Delayable Timed Petri Net*