In: Desel, J.; Kemper, P.; Kindler, E.; Oberweis, A.: Forschungsbericht, No. 694: 5. Workshop Algorithmen und Werkzeuge für Petrinetze, pages 1-87. Universität Dortmund, Fachbereich Informatik, 1998.
Abstract: Binary decision diagrams are used to represent large state-spaces of timed Petri nets. A main issue is the reduction from continous time to discrete time.