Romeo
From MaRDI portal
Cited in
(40)- TAPAAL
- Kronos
- TINA
- IF-2.0
- GEZEL
- PetriNets
- Oris
- Verics
- Computing branching distances with quantitative games
- CMC
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
- SynchAADL2Maude
- TSMV
- NewPolka
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization
- Papyrus
- TAPAAL 2.0: integrated development environment for timed-arc Petri nets
- SAT-based (parametric) reachability for a class of distributed time Petri nets
- Verification of Timed-Arc Petri Nets
- Formalising concurrent UML state machines using coloured Petri nets
- Timed CTL model checking in Real-Time Maude
- Model Checking Real-Time Systems
- MARTE
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper)
- Symbolic Unfoldings for Networks of Timed Automata
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Diagnosis Using Unfoldings of Parametric Time Petri Nets
- Towards building the state class graph of the TSPN model
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
- TCTL model checking of time Petri nets
- UPPAAL CORA
- Shrinking of time Petri nets
- A concurrency-preserving translation from time Petri nets to networks of timed automata
- Symbolic unfolding of parametric stopwatch Petri nets
- Timed aggregate graph: a finite graph preserving event- and state-based quantitative properties of time Petri nets
- Formal Modeling and Analysis of Timed Systems
- Formal verification of real-time systems with preemptive scheduling
- Reachability problems and abstract state spaces for time Petri nets with stopwatches
- When are timed automata weakly timed bisimilar to time Petri nets?
- Automating the transformation-based analysis of visual languages
This page was built for software: Romeo
