The following pages link to Romeo (Q13560):
Displayed 25 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Shrinking of time Petri nets (Q378906) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Reachability problems and abstract state spaces for time Petri nets with stopwatches (Q884758) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- Automating the transformation-based analysis of visual languages (Q973037) (← links)
- Computing branching distances with quantitative games (Q2210522) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Real-Time Strategy Synthesis for Timed-Arc Petri Net Games via Discretization (Q2814624) (← links)
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (Q2894293) (← links)
- SAT-Based (Parametric) Reachability for a Class of Distributed Time Petri Nets (Q3066134) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Timed CTL Model Checking in Real-Time Maude (Q3164837) (← links)
- Model Checking Real-Time Systems (Q3176387) (← links)
- Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper) (Q3510874) (← links)
- Symbolic Unfoldings for Networks of Timed Automata (Q3522917) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Diagnosis Using Unfoldings of Parametric Time Petri Nets (Q3588090) (← links)
- (Q3601840) (← links)
- Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format (Q3605462) (← links)
- TCTL Model Checking of Time Petri Nets (Q3656779) (← links)
- Symbolic Unfolding of Parametric Stopwatch Petri Nets (Q4931299) (← links)
- Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets (Q5268455) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897964) (← links)