基于Petri网的自动迁移容错网络的活性分析  

The Analysis of a Netlock Through Petri Network Model

作　　者：牟力[1] 赖周建[1] 

机构地区：[1]电子科技大学8010研究室,成都610054

出　　处：《通信技术》2005年第S1期135-136,158,共3页Communications Technology

摘　　要：网络锁保证分布式系统中互斥资源的安全,它的效率是系统节点扩充的关键。文中介绍了具有自动迁移容错功能的网络锁算法及实现。同时文中使用Petri网模型对自动迁移容错的网络锁进行活性可靠性的分析。测试表明该算法有较好的活性,容错性等。Netlock assures mutual exclusion resource security in the distributed system. Its efficiency is a sticking point for site number expansion. The paper proposes a new way which transfers valid petitions, deletes invalid petitions when a site errors, and transfers some petitions to the site who is activated. And analyze its active performance through Petri network model. Proved by performance analysis, this way has better active performance.

关 键 词：PETRI网 活性 自动迁移容错的网络锁 

分 类 号：TP301.1[自动化与计算机技术—计算机系统结构] TP302.8[自动化与计算机技术—计算机科学与技术]