Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets - Kabutz, Heinz Max (Department of Computer Science, 2015)
Bibliography: leaves 113-117.