Romeo

swMATH812MaRDI QIDQ13560FDOQ13560

Author name not available (Why is that?)

Described by source

• Computer Aided Verification

Cited In (25)

• Reachability problems and abstract state spaces for time Petri nets with stopwatches
• Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
• Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
• SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets
• Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
• TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets
• Title not available (Why is that?)
• TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
• Symbolic Unfolding of Parametric Stopwatch Petri Nets
• Formal Modeling and Analysis of Timed Systems
• A concurrency-preserving translation from time Petri nets to networks of timed automata
• Timed CTL Model Checking in Real-Time Maude
• Formalising concurrent UML state machines using coloured Petri nets
• Verification of Timed-Arc Petri Nets
• Formal verification of real-time systems with preemptive scheduling
• When are timed automata weakly timed bisimilar to time Petri nets?
• Computing branching distances with quantitative games
• TCTL Model Checking of Time Petri Nets
• Model Checking Real-Time Systems
• Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
• Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets
• Diagnosis Using Unfoldings of Parametric Time Petri Nets
• Automating the transformation-based analysis of visual languages
• Shrinking of time Petri nets
• Symbolic Unfoldings for Networks of Timed Automata

This page was built for software: Romeo