Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff | IEEE Conference Publication | IEEE Xplore