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 8 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)
- (Q4270058) (← links)
- Efficiency of asynchronous systems and read arcs in petri nets (Q4571984) (← links)
- Channel Properties of Asynchronously Composed Petri Nets (Q5300882) (← links)
- Applications and Theory of Petri Nets 2004 (Q5712349) (← links)
- Efficient handling of Phase-type distributions in generalized stochastic Petri nets (Q6487375) (← links)