Petri nets are an effective formalism to model discrete event systems, and several variants have been defined to explicitly include real time in the model. We consider two fundamental reachability problems for Timed Petri Nets with positive integer firing times: timed reachability (find all markings where the model can be at a given finite time) and earliest reachability (find the minimum time when each reachable marking is entered). For these two problems, we define efficient symbolic algorithms that make use of both ordinary and edge-valued decision diagrams, and provide runtime results on an extensive suite of models. © Springer-Verlag Berlin Heidelberg 2009.
CITATION STYLE
Wan, M., & Ciardo, G. (2009). Symbolic reachability analysis of integer timed petri nets. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 5404 LNCS, pp. 595–608). https://doi.org/10.1007/978-3-540-95891-8_53
Mendeley helps you to discover research relevant for your work.