The following pages link to (Q4929342):
Displaying 10 items.
- Formalising concurrent UML state machines using coloured Petri nets (Q315307) (← links)
- Shrinking of time Petri nets (Q378906) (← links)
- Parameter synthesis for hierarchical concurrent real-time systems (Q488231) (← links)
- On-the-fly \(TCTL\) model checking for time Petri nets (Q732013) (← links)
- \textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability (Q832203) (← links)
- Symbolic unfolding of parametric stopwatch Petri nets (Q2248088) (← links)
- Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques (Q2343139) (← links)
- Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints* (Q5025034) (← links)
- Cost Problems for Parametric Time Petri Nets* (Q5025060) (← links)
- (Q5094115) (← links)
