Structural translation from time Petri nets to timed automata

MaRDI QIDQ2848419zbMATH OpenFDO

Authors Franck Cassez, Olivier H. Roux

Publication date 26 September 2013

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

Mathematics Subject Classification ID

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)

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

Cited in

(31)

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

Describes a project that uses

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)