An algorithm for the evolution graph of extended hybrid Petri nets. - Martina Svadova; Zdenek Hanzálek (SMC (5), 2004)