This paper is concerned with construction of some state space abstractions for Time Petri nets. State class spaces were introduced long ago by Berthomieu and Menasche as finite representations for the typically infinite state spaces of Time Petri nets, preserving their linear time temporal properties. This paper proposes a similar construction that preserves their branching time temporal properties. The construction improves a previous proposal by Yoneda and Ryuba. The method has been implemented, computing experiments are reported. © Springer-Verlag Berlin Heidelberg 2003.
CITATION STYLE
Berthomieu, B., & Vernadat, F. (2003). State class constructions for branching analysis of time Petri nets. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2619, 442–457. https://doi.org/10.1007/3-540-36577-x_33
Mendeley helps you to discover research relevant for your work.