Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking
Electronic Notes in Theoretical Computer Science (ENTCS)
PMaude: Rewrite-based Specification Language for Probabilistic Object Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Symbolic partition refinement with automatic balancing of time and space
Performance Evaluation
| Hi-index | 0.07 |
Finite population and finite capacity polling systems are considered. The behavior of these systems is described by means of generalized stochastic Petri nets. The exact results for the mean response times are obtained numerically by means of a stochastic Petri net package. Finite population polling systems are generally difficult to analyze. The results obtained can be used to validate approximate solutions to the above class of polling systems when such solutions become available