Tarasyuk I., Buchholz P. Bisimulation for fluid stochastic Petri nets // Computer Science. — 2015. — # 38 — P. 121-150
Buchholz P., Tarasyuk I. Net and algebraic approaches to probabilistic modeling // Computer Science. — 2001. — # 15 — P. 31-64