Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff | Publicación