SDL and Petri net performance analysis of communicating systems. - Falko Bause; Heinz Kabutz; Peter Kemper; Pieter S. Kritzinger (PSTV, 1995)

Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets - Heinz Kabutz (1997)