欢迎光临
免费的PDF电子书下载网站

Petri网应用 PDF下载

编辑推荐

暂无

内容简介

  《信息科学技术学术著作丛书:Petri网应用》以帮助读者用好Petri网为目的,以实例深入浅出地介绍Petri网,包括(定性与定量的)静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论的学习、研究和实践凝聚到《信息科学技术学术著作丛书:Petri网应用》中,删繁就简,希望Petri网理论能被读者接受。
  《信息科学技术学术著作丛书:Petri网应用》可作为计算机科学及相关专业的本科生和研究生教材,适合各领域对Petri网感兴趣的科研人员、教师以及软件开发人员学习和参考。

作者简介

暂无

Petri网应用 PDF下载

目录

《信息科学技术学术著作丛书》序

前言

第一章 引子:基本观点
第二章 有向网与网系统
2.1 网模型的静与动
2.1.1 有向网:两类元素,两种关系
2.1.2 变迁规则:资源分布,容量
2.1.3 网系统:异步并发
2.1.4 局限:普适和效率
2.1.5 实例
2.2 形式定义
2.3 网系统层次
2.4 形式异化

第三章 网系统的性质和通用分析方法
3.1 动态性质
3.1.1 基本现象
3.1.2 动态性质——从实例人手
3.1.3 活性
3.1.4 公平性
3.1.5 有界性
3.2 分析方法
3.2.1 覆盖树和覆盖图
3.2.2 进程和进程块
3.3 结构性质
3.3.1 不变量
3.3.2 语义不变量
3.3.3 其他结构性质
3.3.4 结构分析

第四章 高级网系统
4.1 谓词/变迁系统
4.1.1 概念及定义
4.1.2 谓词/变迁系统之性质和分析方法
4.2 有色网系统
4.2.1 概述及定义
4.2.2 有色网性质及分析方法
4.3 自控网系统
4.3.1 概述及定义
4.3.2 自控网系统的性质与分析方法
4.3.3 自控网系统的不变量

第五章 电梯控制
5.1 一部电梯:变迁外延分析
5.1.1 着眼点:一个楼层
5.1.2 按钮
5.1.3 完整的楼层变迁
5.1.4 补遗拾漏
5.2 一部电梯组装:库所分析
5.2.1 单层楼组装:初装
5.2.2 库所局部
5.2.3 所有楼层组装:性质分析
5.3 N部电梯组装
5.4 电梯系统的有色网表示
5.4.1 一部电梯的颜色
5.4.2 有色网上的四类有向弧

第六章 同步距离
6.1 什么是同步距离
6.2 同步距离定义及计算
6.3 同步距离应用
6.3.1 过程控制和系统规范
6.3.2 同步距离与公平

第七章 C_net
第八章 工作流
第九章 通用网论
第十章 四季与八卦
参考文献
附录

Petri网应用 pdf下载声明

本pdf资料下载仅供个人学习和研究使用,不能用于商业用途,请在下载后24小时内删除。如果喜欢,请购买正版

pdf下载地址

版权归出版社和作者所有,下载链接已删除。如果喜欢,请购买正版!

链接地址:Petri网应用