Performance evaluation of timed Petri nets using heaps of pieces