On the relations between BCMP queueing networks and product form solution stochastic petri nets | IEEE Conference Publication | IEEE Xplore