The following pages link to (Q4929342):
Displaying 7 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)
