Petri net based model for concurrent control of database system
Jie Hou, Fengying Li, Huijiao Wang · 2010
In order to represent a clear and compact formal specification for concurrency control of transactions in database system, Petri net based concurrency control representation model is presented. This model satisfies two-phase locking protocol which can ensure the serialization of concurrency scheduling. Hence the problems resulted from concurrent operations are avoided.