Modeling and analysis of timed Petri nets using heaps of pieces | IEEE Journals & Magazine | IEEE Xplore