具有多资源需求和柔性加工路径的顺序资源分配系统Petri网模型的死锁结构特征
具有多资源需求和柔性加工路径的顺序资源分配系统（Sequential Resource Allocation Systems with Multiple Resource Acquisitions and Flexible Routings简称（C/D）RAS）是一类较复杂的、更为一般的资源分配系统。本文研究（C/D）RAS的Petri网模型标识S 3PGR 2网(N，M 0)，定义其中的循环结构，并指出循环结构反映（C/D）RAS 中资源占用与循环等待的状况，是（C/D）RAS中死锁发生的结构特征。具体做法如下：若(N，M 0)不是活的，则它有一个可达标识M，M是一个“局部死锁”，即在M之下有死锁变迁。在标识修改S 3PGR 2网(N m，M)中，由这个“局部死锁”可达一个“全局死锁”M1，即M1是一个死标识。而标识M1在(N，M 0)中也是可达的。进一步，证明在(N，M 1)中可以找到一个循环结构。
柔性制造系统 Petri网模型 顺序资源分配 死锁结构
岳昊
漳州师范学院计算机科学与工程系,漳州,福建363000
国内会议
北京
中文
5296-5299
2010-07-29（万方平台首次上网日期，不代表论文的发表时间）