Modeling and analysis of timed Petri nets using heaps of pieces | IEEE Conference Publication | IEEE Xplore