Distributed evaluation of stochastic Petri nets
Networked Digital Library of Theses and Dissertations