Algorithm modelling with Petri nets-comparison with data dependence graphs | IEEE Conference Publication | IEEE Xplore