New speculative concurrency control protocol and analysis based on Petri net
CHEN Jun,ZHU Yan-li,GU Yue-sheng
Computer Engineering and Applications . 2009, (21): 121 -123 .  DOI: 10.3778/j.issn.1002-8331.2009.21.036