文件名称:representations
-
所属分类：
- 标签属性：
- 上传时间：2015-05-12
-
文件大小：936.89kb
-
已下载：0次
-
提 供 者：
-
相关连接：无下载说明：别用迅雷下载，失败请重下，重下不扣分！
介绍说明－－下载内容来自于网络，使用问题请自行百度
The paper deals with representations of the safe states set in the Banker s problem. Using a Petri
Net model we derive formulas for this set (SAFE) directly and for its (smaller) minimal elements
set MIN. Moreover, we partition the set MIN into subclasses, so that two elements of the same
subclass only differ by the permutation of their components. The set SORT, which contains only
one representend of each subclass, is an even smaller representation of the safe states. We also
derive estimates for the size of SORT. Finally we investigate, how our results can be translated to
the multidimensional Banker s Problem, where credits in more than one currency can be given
Net model we derive formulas for this set (SAFE) directly and for its (smaller) minimal elements
set MIN. Moreover, we partition the set MIN into subclasses, so that two elements of the same
subclass only differ by the permutation of their components. The set SORT, which contains only
one representend of each subclass, is an even smaller representation of the safe states. We also
derive estimates for the size of SORT. Finally we investigate, how our results can be translated to
the multidimensional Banker s Problem, where credits in more than one currency can be given
(系统自动生成,下载前可以参看下载内容)
下载文件列表
Banker's Algorithm3.pdf
1999-2046 搜珍网 All Rights Reserved.
本站作为网络服务提供者，仅为网络服务对象提供信息存储空间，仅对用户上载内容的表现方式做保护处理，对上载内容本身不做任何修改或编辑。