中图网

>

网络与数据通信

>

网络配置与管理

Petri网活性与应用/同济博士论丛

作者：刘关俊，蒋昌俊著

出版社：同济大学出版社出版时间：2020-06-01

开本：其他页数： 192

本类榜单：计算机/网络销量榜

中图价:¥49.0(7.2折) 定价 ~~¥68.0~~ 登录后可看到会员价

加入购物车收藏

运费6元，满69元免运费

?快递不能达地区使用邮政小包，运费14元起

云南、广西、海南、新疆、青海、西藏六省，部分地区快递不可达

本类五星书更多>

>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用

¥11.3¥45
>
决战行测5000题(言语理解与表达)

决战行测5000题(言语理解与表达)

¥28.2¥88
>
软件性能测试.分析与调优实践之路

软件性能测试.分析与调优实践之路

¥55.2¥69
>
第一行代码Android

第一行代码Android

¥76.2¥99
>
C Primer Plus 第6版中文版

C Primer Plus 第6版中文版

¥75.6¥108
>
深度学习

深度学习

¥82.3¥168
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码

MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码

¥43.5¥79

商品详情
商品评论(0条)

中图价:¥49.0 加入购物车

版权信息
内容简介
目录

微信公众号

Petri网活性与应用/同济博士论丛版权信息

ISBN：9787560874289
条形码：9787560874289 ; 978-7-5608-7428-9
装帧：一般胶版纸
册数：暂无
重量：暂无
所属分类：
计算机/网络
>
网络与数据通信
>
网络配置与管理

Petri网活性与应用/同济博士论丛内容简介

本书以Petri 网活性为主线，开展了Petri 网（子类）的活性判定、基于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．1 WS3PR的定义
4．2 WS3PR的活性
4．3 小结

第5章基于关键资源／活动库所对的预防S3PR死锁的策略
5．1 关键资源／活动库所对及其覆盖
5．2 I-型死锁预防策略
5．3 II-型死锁预防策略
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．2 G-MI-MO-IM的定义
8．3 四级兼容性
8．4 G-MI-MO-IM的可逆性
8．5 小结

第9章 MG-MI-SO-IM的性质分析
9．1 MG-MI-SO-IM的定义
9．2 MG-MI-SO-IM的活性
9．3 MG-MI-SO-IM的活且有界性
9．4 MG-MI-SO-IM的可达性
9．5 MG-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 本书工作总结
参考文献
后记

展开全部

商品评论(0条)

写书评赚书币

暂无评论……

书友推荐