Time and Petri Nets - Louchka Popova-Zeugmann (Springer)