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

Liveness Analysis of Concurrent System Based on Petri Nets

作　　者：左凤朝[1] 

机构地区：[1]聊城师范学院计算机科学系,山东聊城252059

出　　处：《小型微型计算机系统》2003年第7期1297-1300,共4页Journal of Chinese Computer Systems

基　　金：山东省自然科学基金资助课题 (项目号 G0 810 8)

摘　　要：本文从数据库系统在时刻 t的状态 N出发 ,构造出相应的 Petri网模型 ,进而构造出其可达标识图 .通过分析可达标识图 ,可判断系统是否为死锁状态 .若不是死锁状态 ,系统是否可能出现死锁 ,什么情况下系统肯定不会出现死锁 .最后 。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.

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

分 类 号：TP301[自动化与计算机技术—计算机系统结构]