Time based expressivity of timed Petri nets - Cerone, Antonio; Maggiolo-Schettini, Andrea (Universität <Frankfurt, Main> / Fachbereich Informatik: Interner Bericht, 1995)