Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139): Difference between revisions

@@ Property / cites work @@
+CONTINUOUS PETRI NETS: EXPRESSIVE POWER AND DECIDABILITY ISSUES
+Normal rank
@@ Property / cites work @@
+Q4503930
@@ Property / cites work: Q4503930 / rank @@
+Normal rank
@@ Property / cites work @@
+The algorithmic analysis of hybrid systems
@@ Property / cites work: The algorithmic analysis of hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of timed automata
@@ Property / cites work: A theory of timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking for real-time systems
@@ Property / cites work: Symbolic model checking for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Discrete, Continuous, and Hybrid Petri Nets
@@ Property / cites work: Discrete, Continuous, and Hybrid Petri Nets / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of real-time systems with preemptive scheduling
+Normal rank
@@ Property / cites work @@
+Decidability results in first-order hybrid Petri nets
+Normal rank
@@ Property / cites work @@
+On hybrid Petri nets
@@ Property / cites work: On hybrid Petri nets / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets
+Normal rank
@@ Property / cites work @@
+Bridging the Gap Between Timed Automata and Bounded Time Petri Nets
+Normal rank
@@ Property / cites work @@
+Timed Petri nets and timed automata: On the discriminating power of Zeno sequences
+Normal rank
@@ Property / cites work @@
+Translation from Multisingular Hybrid Petri Nets to Multisingular Hybrid Automata
+Normal rank
@@ Property / cites work @@
+Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets
+Normal rank
@@ Property / cites work @@
+Q4929342
@@ Property / cites work: Q4929342 / rank @@
+Normal rank
@@ Property / cites work @@
+HyTech: A model checker for hybrid systems
@@ Property / cites work: HyTech: A model checker for hybrid systems / rank @@
+Normal rank
@@ Property / cites work @@
+What's decidable about hybrid automata?
@@ Property / cites work: What's decidable about hybrid automata? / rank @@
+Normal rank
@@ Property / cites work @@
+The power of reachability testing for timed automata
+Normal rank
@@ Property / cites work @@
+Task automata: Schedulability, decidability and undecidability
+Normal rank
@@ Property / cites work @@
+Q4536599
@@ Property / cites work: Q4536599 / rank @@
+Normal rank
@@ Property / cites work @@
+Interrupt Timed Automata
@@ Property / cites work: Interrupt Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Interrupt timed automata: verification and expressiveness
+Normal rank
@@ Property / cites work @@
+Model checking of time Petri nets using the state class timed automaton
+Normal rank
@@ Property / cites work @@
+Fluid stochastic Petri nets: Theory, applications, and solution techniques
+Normal rank
@@ Property / cites work @@
+Fluid stochastic Petri nets augmented with flush-out arcs: Modelling and analysis
+Normal rank
@@ Property / cites work @@
+Region-Based Analysis of Hybrid Petri Nets with a Single General One-Shot Transition
+Normal rank
@@ Property / cites work @@
+Parametric real-time reasoning
@@ Property / cites work: Parametric real-time reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Linear parametric model checking of timed automata
+Normal rank
@@ Property / cites work @@
+Decision problems for lower/upper bound parametric timed automata
+Normal rank
@@ Property / cites work @@
+Robust parametric reachability for timed automata
@@ Property / cites work: Robust parametric reachability for timed automata / rank @@
+Normal rank
@@ Property / cites work @@
+Integer Parameter Synthesis for Timed Automata
@@ Property / cites work: Integer Parameter Synthesis for Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Real-Time Model-Checking: Parameters everywhere
@@ Property / cites work: Real-Time Model-Checking: Parameters everywhere / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric timing analysis for real-time systems
@@ Property / cites work: Parametric timing analysis for real-time systems / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric Interrupt Timed Automata
@@ Property / cites work: Parametric Interrupt Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Applications and Theory of Petri Nets 2004
@@ Property / cites work: Applications and Theory of Petri Nets 2004 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded Model Checking for Parametric Timed Automata
+Normal rank
@@ Property / cites work @@
+Q4835250
@@ Property / cites work: Q4835250 / rank @@
+Normal rank
@@ Property / cites work @@
+Model-checking in dense real-time
@@ Property / cites work: Model-checking in dense real-time / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411960
@@ Property / cites work: Q4411960 / rank @@
+Normal rank
@@ Property / cites work @@
+Network calculus. A theory of deterministic queueing systems for the Internet
+Normal rank