Markovian Petri net protocols with product form solution (1991)

by A A Lazar, T G Robertazzi
Venue:Performance Evaluation