Modeling Serializability via Process Equivalence in Petri Nets
Nicoletta De Francesco, Ugo Montanari, Gioia Ristori · 1992
methods, mass storage Concurrency control [2][9] concerns the monitoring of a set of activities (transactions) concurrently accessing the database in a multiuser database management system. In the paper a transaction system is modeled by a condition/event Petri net, in which the events of the net are the operations of the transactions and the conditions correspond to the objects, while each schedule corresponds to a firing sequence of the net. The net is seen as a program schema, representing the uninterpreted flow of control and data of a program: the conditions correspond to the data values, while the events correspond to the operations. Thus firing sequences may be seen as computations of the program schema and, moreover, the result of a computation can be defined as the value of the conditions holding in the final case.