Pages that link to "Item:Q4633162"
From MaRDI portal
The following pages link to Asynchronous composition of high level Petri Nets: A quantitative approach (Q4633162):
Displaying 3 items.
- Block SOR for Kronecker structured representations (Q1434413) (← links)
- Privacy and safety analysis of timed stochastic discrete event systems using Markovian trajectory-observers (Q2197587) (← links)
- Approximated timed reachability graphs for the robust control of discrete event systems (Q2330041) (← links)