没有合适的资源?快使用搜索试试~ 我知道了~
representations.zip_The One And Only_petri net
1.该资源内容由用户上传,如若侵权请联系客服进行举报
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
2.虚拟产品一经售出概不退款(资源遇到问题,请及时私信上传者)
版权申诉
0 下载量 126 浏览量
2022-07-15
04:44:17
上传
评论
收藏 937KB ZIP 举报
温馨提示
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
资源推荐
资源评论
资源评论
alvarocfc
- 粉丝: 105
- 资源: 1万+
上传资源 快速赚钱
- 我的内容管理 展开
- 我的资源 快来上传第一个资源
- 我的收益 登录查看自己的收益
- 我的积分 登录查看自己的积分
- 我的C币 登录后查看C币余额
- 我的收藏
- 我的下载
- 下载帮助
安全验证
文档复制为VIP权益,开通VIP直接复制
信息提交成功