Structural translation from time Petri nets to timed automata

zbMATH Open1272.68294MaRDI QIDQ2848419FDOQ2848419

Publication date: 26 September 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105002410

Recommendations

From Time Petri Nets to Timed Automata: An Untimed Approach
Applications and Theory of Petri Nets 2005
Formal Modeling and Analysis of Timed Systems
Model checking of time Petri nets using the state class timed automaton
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (31)

Translation of timed Promela to timed automata with discrete data
Translation from multisingular hybrid Petri nets to multisingular hybrid automata
Applications and Theory of Petri Nets 2004
Title not available (Why is that?)
Computer Aided Verification
On-the-fly \(TCTL\) model checking for time Petri nets
TCTL-preserving translations from timed-arc Petri nets to networks of timed automata
Advances in verification of time Petri nets and timed automata. A temporal logic approach.
A compositional translation of timed automata with deadlines to Uppaal timed automata
Formal Modeling and Analysis of Timed Systems
Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
From Time Petri Nets to Timed Automata: An Untimed Approach
Removing dead transitions in timed-arc Petri nets
A concurrency-preserving translation from time Petri nets to networks of timed automata
State space computation and analysis of Time Petri Nets
Verification of Timed-Arc Petri Nets
Model checking of time Petri nets using the state class timed automaton
Temporal reasoning through automatic translation of tock-CSP into timed automata
When are timed automata weakly timed bisimilar to time Petri nets?
Title not available (Why is that?)
The expressive power of time Petri nets
Translation from timed Petri nets with intervals on transitions to intervals on places (with urgency)
Title not available (Why is that?)
Blending timed formal models with clock transition systems
ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS
Contracts for cross-organizational workflows as timed dynamic condition response graphs
Applications and Theory of Petri Nets 2005
TAPAAL 2.0: integrated development environment for timed-arc Petri nets
FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
Timed aggregate graph: a finite graph preserving event- and state-based quantitative properties of time Petri nets
Effective Representation of RT-LOTOS Terms by Finite Time Petri Nets

Uses Software

Uppaal
CMC

This page was built for publication: Structural translation from time Petri nets to timed automata

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848419)