Estimation of parallel algorithms efficiency based on modified Petri nets | IEEE Conference Publication | IEEE Xplore