International Journal of Computer Applications |
Foundation of Computer Science (FCS), NY, USA |
Volume 95 - Number 5 |
Year of Publication: 2014 |
Authors: Masoomeh Ghodrati, Ali Harounabadi |
10.5120/16587-6289 |
Masoomeh Ghodrati, Ali Harounabadi . Provide a New Mapping for Deadlock Detection and Resolution Modeling of Distributed Database to Colored Petri Net. International Journal of Computer Applications. 95, 5 ( June 2014), 1-7. DOI=10.5120/16587-6289
One of the most important applications of distributed systems is enabling resource sharing between systems. In such environments, if a sequence of procedures to control resource allocation is not possible to create a deadlock exists. Deadlock problem for a distributed database system that uses locking as a concurrency control algorithm, as there are inherent. The following new rule for the modeling of the proposed method using colored Petri nets is presented. In the model proposed the new rules for mapping TWFG with colored Petri nets for modeling the deadlocks detection and resolve. Colored Petri net is considered one of the most widely used formal methods capable of modeling a wide variety of distributed systems are concurrent. A lot of work being done to define the concurrency execution of transactions in Petri nets is that none of these methods of communication with how mapping TWFG with colored Petri nets for modeling the deadlocks detection and resolve.