Petri-net-based modeling and evaluation of pipelined processing of concurrent database queries | IEEE Journals & Magazine | IEEE Xplore