Pages that link to "Item:Q312642"
From MaRDI portal
The following pages link to Determinization of timed Petri nets behaviors (Q312642):
Displaying 7 items.
- Determinization of timed Petri nets behaviors (Q312642) (← links)
- On the determinization of timed systems (Q1683431) (← links)
- Behaviour equivalent max-plus automata for timed Petri nets under open-loop race-policy semantics (Q2063100) (← links)
- Initial-state detectability and initial-state opacity of unambiguous weighted automata (Q2664211) (← links)
- (Q2766563) (← links)
- (Q3045259) (← links)
- Two-staged approach for estimation of sequences in partially observable P-time Petri nets on a sliding horizon with schedulability analysis (Q6575265) (← links)