A Holistic State Equation for Timed Petri Nets. - Matthias Werner 001; Louchka Popova-Zeugmann; Mario Haustein; Elisabeth Pelz (Fundam. Informaticae, 2014)