基于Petri网的并发系统活性分析

摘要：

本文从数据库系统在时刻t的状态N出发,构造出相应的Petri网模型,进而构造出其可达标识图.通过分析可达标识图,可判断系统是否为死锁状态.若不是死锁状态,系统是否可能出现死锁,什么情况下系统肯定不会出现死锁.最后,给出了数据库系统中事务并发操作的死锁检测方法与避免措施.

关键词：P/T网、数据库系统、Petri网模型、可达标识图、事务、死锁

所属期刊栏目：24

分类号：TP301(计算技术、计算机技术)

资助基金：山东省自然科学基金G08108

在线出版日期：2003-11-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：1297-1300