您好,欢迎来到聚文网。 登录 免费注册
Petri网活性与应用

Petri网活性与应用

  • 字数: 265000
  • 装帧: 精装
  • 出版社: 同济大学出版社
  • 作者: 刘关俊,蒋昌俊
  • 出版日期: 2020-04-01
  • 商品条码: 9787560874289
  • 版次: 1
  • 开本: 16开
  • 页数: 192
  • 出版年份: 2020
定价:¥68 销售价:登录后查看价格  ¥{{selectedSku?.salePrice}} 
库存: {{selectedSku?.stock}} 库存充足
{{item.title}}:
{{its.name}}
精选
内容简介
《Petri网活性与应用/同济博士论丛》从理论研究与应用结合两个方面着手,以Petri网活性为主线,开展了Perti网(子类)的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互式系统活性与兼容性分析等三方面的研究。《Petri网活性与应用/同济博士论丛》适合相关专业的研究人员和高校师生阅读。
目录
总序
论丛前言
前言
第1章引言
1.1研究背景
1.2研究现状
1.3本书工作
1.4章节安排
第2章Petri网的基本概念
第3章规则网与弱持续网的活性
3.1规则网与弱持续网的定义
3.2规则网的活性
3.3规则网的结构活性
3.4弱持续网的活性
3.5小结
第4章加权的具有资源的简单顺序流程系统(WS3PR)的活性
4.1WS3PR的定义
4.2WS3PR的活性
4.3小结
第5章基于关键资源/活动库所对的预防S3PR死锁的策略
5.1关键资源/活动库所对及其覆盖
5.2I-型死锁预防策略
5.3II-型死锁预防策略
5.4覆盖的求解
5.5应用
5.6小结
第6章基于依赖虹吸可控性判定的死锁预防策略
6.1预防S3PR死锁的E-策略与LZ-策略
6.2改进的可控性判定条件
6.3一个折中的预防S3PR死锁的策略
6.4应用
6.5小结
第7章基于缓冲区划分的死锁预防策略
7.1具有缓冲区的线性流程网系统
7.2具有缓冲区的线性流程网系统的活性
7.3具有缓冲区的装配网系统
7.4具有缓冲区的装配网系统的活性
7.5应用
7.6小结
第8章基于Petri网的交互模型分类法
8.1基于Petri网的交互模型的分类
8.2G-MI-MO-IM的定义
8.3四级兼容性
8.4G-MI-MO-IM的可逆性
8.5小结
第9章MG-MI-SO-IM的性质分析
9.1MG-MI-SO-IM的定义
9.2MG-MI-SO-IM的活性
9.3MG-MI-SO-IM的活且有界性
9.4MG-MI-SO-IM的可达性
9.5MG-MI-SO-IM的兼容性
9.6应用
9.7小结
第10章受限G-MI-Mo一IM的性质分析
10.1受限G-MI-MO-IM的定义
10.2受限G-MI-MO-IM的活性
10.3受限G-MI-MO-IM的可达性
10.4应用
10.5小结
第11章总结与展望
11.1本书工作总结
参考文献
后记

蜀ICP备2024047804号

Copyright 版权所有 © jvwen.com 聚文网