A new Petri net based model of data transfers in the PC workstation memory hierarchy for MPEG encoding | IEEE Conference Publication | IEEE Xplore