Pages that link to "Item:Q2848419"
From MaRDI portal
The following pages link to Structural translation from time Petri nets to timed automata (Q2848419):
Displaying 19 items.
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} (Q440685) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- Model checking of time Petri nets using the state class timed automaton (Q859736) (← links)
- When are timed automata weakly timed bisimilar to time Petri nets? (Q944375) (← links)
- The expressive power of time Petri nets (Q1944773) (← links)
- Contracts for cross-organizational workflows as timed dynamic condition response graphs (Q2436452) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency) (Q2842569) (← links)
- TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (Q2894293) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS (Q4372899) (← links)
- (Q4737569) (← links)
- Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets (Q5268455) (← links)
- (Q5506370) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712359) (← links)
- Applications and Theory of Petri Nets 2005 (Q5713513) (← links)
- Computer Aided Verification (Q5716584) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897951) (← links)
