Cart (Loading....) | Create Account
Close category search window
 

A study of concurrency control in Web-based distributed real-time database system using extended time Petri nets

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$31 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
Yaojun Han ; Dept. of Comput. Sci. & Eng., Tongji Univ., Shanghai, China ; Changjun Jiang ; Xumei Luo

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.

Published in:

Parallel Architectures, Algorithms and Networks, 2004. Proceedings. 7th International Symposium on

Date of Conference:

10-12 May 2004

Need Help?


IEEE Advancing Technology for Humanity About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies

A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2014 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.