Abstract: A method of performance evaluation based on Petri Net is introduced in this paper. By use of the method, three concurrency control algorithms based on locxing are evaluated.