1J Gray. Notes on database systems, In: Lecture Notes in computer Science, Vol 60.Berlin: Springer-Verlag, 1993
2D Skeen. Non-blocking commit protocols. The ACM SIGMOD Int'l Conf on Management of Data, Ann Arbor, Michigan, 1981
3E Levy, H F Korth, A Siberschatz. An Optimistic commit protocol for distributed transaction management, The ACM SIGMOD Int'l Conf on Management of Data, Denver, Colorado, 1991
4C Mohan, B Lindsay, R Obermarck. Transaction management in the R distributed database management system. ACM Trans on Database System, 1986;(4)
7Kurt Jensen.An Introduction to the Theoretical Aspect of Colored Petri Nets[J].A decade of concurrency lecture notes in Computer Science,Springer-Verlag,1994,803:230-272.
8Kurt Jensen.An Introduction to the Practical Use of Colored Petri Nets[J].Lecture Notes in Computer Science,Springer-Verlag,1998,1492:237-292.
