Pages that link to "Item:Q859736"
From MaRDI portal
The following pages link to Model checking of time Petri nets using the state class timed automaton (Q859736):
Displaying 14 items.
- Modeling and verification of hybrid dynamic systems using multisingular hybrid Petri nets (Q442295) (← links)
- A concurrency-preserving translation from time Petri nets to networks of timed automata (Q453542) (← links)
- Formal verification of real-time systems with preemptive scheduling (Q844238) (← links)
- Modeling, simulation, estimation and boundedness analysis of discrete event systems (Q2152875) (← links)
- Waiting nets (Q2165233) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Combining free choice and time in Petri nets (Q2291812) (← links)
- Approximated timed reachability graphs for the robust control of discrete event systems (Q2330041) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Realizability of Schedules by Stochastic Time Petri Nets with Blocking Semantics (Q2822654) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- Timed Aggregate Graph: A Finite Graph Preserving Event- and State-Based Quantitative Properties of Time Petri Nets (Q5268455) (← links)
- Reconfigurable timed graphs for the design of optimal scheduling in uncertain environments based on transition-timed Petri net (Q6053940) (← links)
- Waiting Nets: State Classes and Taxonomy (Q6189319) (← links)
