Model checking of time Petri nets using the state class timed automaton
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 1696456 (Why is no real title available?)
- scientific article; zbMATH DE number 4209631 (Why is no real title available?)
- scientific article; zbMATH DE number 3177183 (Why is no real title available?)
- scientific article; zbMATH DE number 1956600 (Why is no real title available?)
- scientific article; zbMATH DE number 1755138 (Why is no real title available?)
- Applications and Theory of Petri Nets 2004
- Compositional specification of timed systems
- Kronos: A verification tool for real-time systems
- Model-checking in dense real-time
- Symbolic model checking for real-time systems
- Uppaal in a nutshell
Cited in
(34)- On-the-fly \(TCTL\) model checking for time Petri nets
- State space computation and analysis of Time Petri Nets
- CTL* model checking for time Petri nets
- Combining free choice and time in Petri nets
- Modeling, simulation, estimation and boundedness analysis of discrete event systems
- Timed aggregate graph: a finite graph preserving event- and state-based quantitative properties of time Petri nets
- Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL}
- scientific article; zbMATH DE number 1956600 (Why is no real title available?)
- TCTL model checking of time Petri nets
- Approximated timed reachability graphs for the robust control of discrete event systems
- Applications and Theory of Petri Nets 2004
- Formal verification of real-time systems with preemptive scheduling
- Realizability of schedules by stochastic time Petri nets with blocking semantics
- A state class construction for computing the intersection of time Petri nets languages
- An extremum timed extended reachability graph for temporal analysis of time Petri nets
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
- A more efficient time Petri net state space abstraction useful to model checking timed linear properties
- scientific article; zbMATH DE number 5368984 (Why is no real title available?)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
- Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net
- Formal Modeling and Analysis of Timed Systems
- Structural translation from time Petri nets to timed automata
- Interval Abstraction Refinement for Model Checking of Timed-Arc Petri Nets
- Towards building the state class graph of the TSPN model
- Model Checking Bounded Prioritized Time Petri Nets
- Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
- Blending timed formal models with clock transition systems
- A concurrency-preserving translation from time Petri nets to networks of timed automata
- Symbolic unfolding of parametric stopwatch Petri nets
- Waiting Nets: State Classes and Taxonomy
- Waiting nets
- Formal Techniques for Networked and Distributed Systems - FORTE 2005
- A state class based controller synthesis approach for time Petri nets
This page was built for publication: Model checking of time Petri nets using the state class timed automaton
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q859736)
