Aggregation and disaggregation in product form queueing Petri Nets | IEEE Conference Publication | IEEE Xplore