MapReduce rationality verification based on object Petri net
Zeliu DING, Deke GUO, Xi CHEN, Jin CHEN
Journal of Systems Engineering and Electronics . 2019, (5): 861 -874 .  DOI: 10.21629/JSEE.2019.05.05