Petri-net based performance-evaluation of distributed homogeneous task systems | IEEE Journals & Magazine | IEEE Xplore