Full-Text Search:
Home|Journal Papers|About CNKI|User Service|FAQ|Contact Us|中文
《Computer Engineering and Applications》 2002-17
Add to Favorite Get Latest Update

Liveness Analysis of Concurrent Control of Database System Based on Petri Nets

Zuo Fengchao(Department of Computer Science,Liaocheng Teachers College,Liaocheng Shandong252059)  
The corresponding Petri net model is structured starting from N state of databse system at t moment ,and then a reachable marked graph is structured in this paper.The deadlock state of database system,whether its should be produced or not,is judged by analyzing reachable marked graphs.If it is not in a dealock state,whether the deadlock of system should be produced or not,under what circumstances the deadlock of system is not produced in the affirmative.Lastly,the measures of deadlock detection and avoidance are given for the concurrent operation on transaction in database system.
【Fund】: 山东省自然科学基金资助课题(编号:Y97G08108)
【CateGory Index】: TP311.13
Download(CAJ format) Download(PDF format)
CAJViewer7.0 supports all the CNKI file formats; AdobeReader only supports the PDF format.
【References】
Chinese Journal Full-text Database 1 Hits
1 YUE Xiao-bo, CHEN Li-jing (Changsha University of Science and Technology, Changsha 410076, China);Research Surveys on Application of the Petri Net[J];Journal of Changsha Communications University;2004-02
【Citations】
Chinese Journal Full-text Database 2 Hits
1 Wu Zhehui(Shandong Mining Institute);ANALYSIS AND IMPLEMENTATION OF LIVENESS AND FAIRNESS OF BOUNDED PETRI NETS[J];Chinese Journal of Computers;1989-04
2 (?) Zhe(?) and jiang Changjun (Department of Applied Mathematics and Software Engineering, Shandong Institute of Mining and Technology, Taian, 271019);AN ALGORITHM. FOR CONSTRUCTING A. BOUNDED PETRJ NET ACCORDING TO ITS REACHABLE MARKING-GRAPH[J];Journal of Software;1992-01
【Co-citations】
Chinese Journal Full-text Database 10 Hits
1 Xu Anguo; Jiang Changjun(Shandong Institute of Mining and Technology, Taian 271019);Properties of S-Complement and T-Complement in the Petri Net[J];JOURNAL OF CHONGQING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS;1996-01
2 Du Yuyue Li Xiaozhong Cao Defan (Department of Computer Science, Liaocheng Teachers University, Liaocheng 252059);On Structural Property Preservation by Synchronization Composition of Petri Nets[J];Journal of Southeast University;1999-05
3 (Shandong Mining Insistute);Petri Nets For Scheduling Engineering Problems With Multi-Objective of Process Steps Anguo Xu Changjun Jang[J];Journal of Industrial Engineering and Engineering Management;1991-01
4 Wang Jingguang; Gan Renchu(Management College,Beijing Institute of Technology, Beijing 100081);Petri Model for Human Resources Alocation in Information System[J];COMPUTER ENGINEERING AND APPLICATIONS;1999-07
5 Wang Wende Zuo Fengchao (Department of computer science,Liaocheng teachers college,Liaocheng 252059);Liveness Discuss Based on M-Petri Net[J];Computer Engineering and Applications;2001-15
6 Yang Xue Jiang Changjun(Tongji University,Shanghai200092);Realization of the Reduction Methods of Petri Net in the System[J];Computer Engineering and Applications;2003-32
7 XIA Chuan-Liang (Department of Computer Science,Academy of Mathematics and System Sciences,The Chinese Academy of Sciences,Beijing 100080);The Analysis and Application of a PP Type Petri Net's Subnet Refinement[J];Computer Science;2006-02
8 ZHAI Zheng-Li~1 WU Zhe-Hui~2 YANG Yang~1 (Information Engineering School,Beijing University of Science and Technology,Beijing 100083)~1 (Information Engineering School,Shandong University of Science and Technology,Qingdao 266510)~2;Two Sufficient and Neccessory Conditions of Time Petri Net Preserving Liveness and Boundedness[J];Computer Science;2006-09
9 XIA Chuan-Liang(School of Computer Science and Technology,Shandong Jianzhu University,Jinan 250101)(State Key Laboratory for Computer Science,Institute of Software,Chinese Academy of Sciences,Beijing 100080);Fairness Property Analysis of Petri Nets Synthesis Shared T-type Subnets[J];Computer Science;2007-08
10 Wang Peiliang and Wu ZhehuiDept. of Applied Mathematics and Software Engineering, Shandong Institute of Mining andTechnology, Taian 271019;CONDITIONS FOR DIRECTLY DECIDING FAIR NETS[J];Chinese Journal of Computers;1993-01
China Proceedings of conference Full-text Database 2 Hits
1 ;Application and Synthesis of Petri Nets Shared TT Type Subnet[A];[C];2005
2 Chuanliang Xia (Department of Computer science,Academy of Mathematics and System Sciences, The Chinese Academy of Sciences,Beijing,100080);The Analysis and Application of a T Type Petri Net’s Subnet Refinement[A];[C];2005
【Co-references】
Chinese Journal Full-text Database 10 Hits
1 WANG Jun-guo, MIN Song, ZHAO Jin, WAN Shu-yun (Dept. of Control Science & Engineering, Huazhong University of Science & Technology, Wuhan 430074, China);The Method of Fault Diagnosis Based on Fuzzy Petri Nets[J];Ordnace Industry Automation;2002-06
2 YANG Qi-yu1, ZHANG Xia2 (1. School of Automation, Guangdong University of Technology, Guangzhou 510006, China; 2. College of Engineering, South China Agricultural University, Guangzhou 510642, China);Application for Fault Diagnosis Technology of Fuzzy Petri Net[J];Ordnance Industry Automation;2006-04
3 Lian Xiaoqin; Wang Xinyi; Zhu Ziaoyan(College of Mechanical Engineering, Beijing Institute of Technology, Beijing 100081);A Study on the Fuzzy Reasoning Algorithm for Fault Diagnosis Systems[J];JOURNAL OF BEIJING INSTITUTE OF TECHNOLOGY;1996-01
4 ZHANG Zhi ming, WANG Yue, TAO Ran, YAN Fei, ZHOU Si yong (Department of Electronic Engineering, Beijing Institute of Technology, Beijing100081);Resource Allocation Using Timed Petri Nets and Heuristic Search[J];北京理工大学学报(英文版);2000-02
5 ZHANG Yun,et al. (Dept.of Electrical Engineering,Changchun Institute of Technology,Changchun 130012,China);Fault diagnosis based on fuzzy Petri net[J];Journal of Changchun Institute of Technology;2003-04
6 YUE Xiao-bo, CHEN Li-jing (Changsha University of Science and Technology, Changsha 410076, China);Research Surveys on Application of the Petri Net[J];Journal of Changsha Communications University;2004-02
7 Zhu Hongli Liu Luyuan (School of Electrical Engineering and Automation, Tianjin University, Tianjin 300072);Modeling of a Router based on Stochastic Petri Net and Solution of State-explosion[J];Journal of Yanshan University;2004-03
8 Wang Nan Lü Fangcheng Liu Yunpeng Li Heming (North China Electric Power University Baoding 071003 China);Study on Application of Petri Nets Model of Transformer Fault Diagnosis Based on Decision Table Reduction[J];Transactions of China Electrotechnical Society;2003-06
9 Xie Xiaoli (Nanjing Normal University, Nanjing, 210042);Application of Fault Detection Diagnostics (FDD) in Power Network Technique[J];Electric Power Construction;2003-03
10 Sun Jing 1, Qin Shiyin 1, Song Yonghua 2 (1. Beijing University of Aeronautics and Astronautics, Beijing 100083, China) (2. Brunel University, Uxbridge, Middlesex, UB8 3PH, UK);A FAULT DIAGNOSIS METHOD FOR POWER SYSTEMS BASED ON PETRI NETS AND PROBABILITY INFORMATION[J];Automation of Electric Power Systems;2003-13
【Secondary References】
Chinese Journal Full-text Database 10 Hits
1 JIANG Wei, JIN Guobin(Shanghai University, Shanghai 200072, China);The Application of Petri Nets in Packaging and Printing Production[J];Packaging Engineering;2005-01
2 Zhang Lu et al;A Study of Petri Nets and its Expansion[J];Computer Development & Applications;2009-07
3 LI Dong-jiang1,LIU Jin-ge1,YUAN Jian-ping2,REN Li-ya3(1.School of Computer Science and Technology,North China Electric Power University,Changping District,Beijing 102206,China;2.Jingjiang Electric Power Corporation,Jingjiang 214500,Jiangsu Province,China;3.Taizhou Electric Power Corporation,Taizhou 225300,Jiangsu Province,China);Development of Distributed System Based on Common Object Request Broker Architecture and Object-Oriented Colored Petri Nets[J];Power System Technology;2007-S1
4 YANG Jinhui, LI Meng (Dept. of Computer Sci. and Eng., Tongji Univ., Shanghai 200092, China);Modeling for interlocking software using unified modeling language and Petri net[J];Computer Aided Engineering;2005-02
5 ZHAO Yang YI Xian-qing LUO Xue-shan(C~4ISR Key Laboratory of Defense Technology,National University of Defense Technology,Changsha 410073,China);Research on Dataflow Modeling with Petri Net[J];Computer Science;2008-11
6 YANG Jinhui,LI Meng(Department of Computer Science and Engineering,Tongji University,Shanghai 200092);Research on Railway Interlocking Software Modeling Based on UML and Petri Net[J];Computer Engineering;2006-11
7 Wang Ruozheng Cao Liming Wang Xiaoping (Department of Computer Science and Engineering,Tongji University,Shanghai 200092,China);A STUDY ON PHASE REGULATION OF TRAFFIC SIGNAL CONTROL BASED ON PETRI NETS[J];Computer Applications and Software;2006-04
8 YUE Xiao-bo, WANG Zhong-hua, ZHANG Chun-li (School of Computer and communication Engineering, Changsha University of Science and Technology, Changsha 410076, China);Philosophical analysis based on Petri net[J];Computer Engineering and Design;2008-11
9 ZHANG Yun-bo1,2,WANG Zhong-hua2(1 College of Information Science and Technology,Hainan University,Haikou Hainan 570228,China; 2 Department of Computer Science and Technology,Qiongzhou Unaversity,Sanya Hainan 572022,China);Research on UML Modeling Method and It's Application Basing on Management System of Bank Account[J];Journal of Qiongzhou University;2009-05
10 YUE Xiao-bo,LI Jing-jing,TANG Xian-ying (College of Computer Application and Communication,Changsha University of Science and Technology,Changsha 410076,China);An Ant Colony Optimization Algorithm of Resource Scheduling Based on Petri net[J];Computer Technology and Development;2006-01
【Secondary Citations】
Chinese Journal Full-text Database 2 Hits
1 Wu Zhehui(Shandong Mining Institute);ANALYSIS AND IMPLEMENTATION OF LIVENESS AND FAIRNESS OF BOUNDED PETRI NETS[J];Chinese Journal of Computers;1989-04
2 Yin Zhaolin;The Petri-Net and the Automat of the Formal Language[J];Journal of China University of Mining & Technology;1986-04
©2006 Tsinghua Tongfang Knowledge Network Technology Co., Ltd.(Beijing)(TTKN) All rights reserved