Efficient descriptor-vector multiplications in stochastic automata networks
Journal of the ACM (JACM)
Performance Analysis of Stochastic Timed Petri Nets Using Linear Programming Approach
IEEE Transactions on Software Engineering
Throughput Approximation of Decision Free Processes Using Decomposition
PNPM '97 Proceedings of the 6th International Workshop on Petri Nets and Performance Models
Backward coupling in petri nets
valuetools '06 Proceedings of the 1st international conference on Performance evaluation methodolgies and tools
Backward Coupling in Bounded Free-Choice Nets Under Markovian and Non-Markovian Assumptions
Discrete Event Dynamic Systems
Interactive Markov chains: and the quest for quantified quality
Interactive Markov chains: and the quest for quantified quality
| Hi-index | 0.00 |