We consider Time Petri Nets (TPN) for which a firing time interval is associated with each transition. State space abstractions for TPN preserving various classes of properties (LTL, CTL and CTL∗) can be computed, in terms of so called state classes. Some methods were proposed to check quantitative t...
Research Assistant
AI chat, annotations, notes & similar papers
No comments yet
Be the first to share your thoughts!