Published Articles >> Table of Contents >> Abstract

2004 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN'04)   p. 67
A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets
Yaojun Han, Tongji University Shanghai, China; ISCAS, Beijing, China; Shandong University of Science & Technology, China; Shanghai International Studies University, China
Changjun Jiang, Tongji University Shanghai, China
Xuemei Luo, ISCAS, Beijing, China; Shandong University of Science & Technology, China; Shanghai International Studies University, China

Full Article Text:

DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ISPAN.2004.1300459
Send link to a friend

Abstract
The Web-based database system has both distributed and real-time features. In addition to satisfying data consistency requirements as in conventional distributed database systems, concurrency control in Web-based distributed real-time database systems (DRTDBS) must also satisfy timing constraints, such as deadlines associated with transactions. So, the concurrency control problems become more complex and extremely difficult in a Web-based DRTDBS. Petri nets are promising tools for modeling and analysis information processing systems that are characterized as being concurrent, asynchronous, parallel and distributed. An extended time Petri net model for describing and analyzing the concurrent control of the Web-based DRTDBS is presented in this paper. The model has features of deadlock-free and serializability and can prevent useless restarts and useless waits. We compose the reduced Petri net models of all sites into a Petri net model for globe concurrent transactions using synchronizing composition. Moreover, the paper largely reduces the scale of the Petri net model for every site with reduction technique before composing. It solves the state explosion problem in reachability analysis of Petri nets. Last, a sufficient and necessary condition for judging whether the whole system is deadlock is given in the paper.
Back to Top Additional Information
Citation:  Yaojun Han, Changjun Jiang, Xuemei Luo, "A Study of Concurrency Control in Web-Based Distributed Real-Time Database System Using Extended Time Petri Nets," ispan, p. 67,  2004 International Symposium on Parallel Architectures, Algorithms and Networks (ISPAN'04),  2004