EXACT SOLUTIONS TO FINITE STATE SIMULATION MODELS

Abstract

Many Monte Carlo simulation problems are essentially finite state. We demonstrate how such problems may be represented within a probabilistic process algebra. We demonstrate how it is possible to convert such processes into linear probabilistic equations, and solve such equations exactly with available computer algebra systems.