Petri网应用

Petri网应用

分享

作者: 袁崇义著

出版社: 科学出版社

出版时间: 2015-08

版次: 1

ISBN: 9787030366375

定价: 80.00

装帧: 平装

开本: 32开

纸张: 胶版纸

页数: 223页

字数: 281千字

正文语种: 简体中文

丛书: 信息科学技术著作丛书

分类: 计算机与互联网

40人买过

　　《Petri网应用》以帮助读者用好Pctri网为口的，以实例深入浅出地介绍Peti网，包括（定性与定量的）静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论的学习、研究和实践凝聚到《Petri网应用》中，删繁就简，希望Petri网理论能被读者接受。《信息科学技术学术著作丛书》序
序
前言
第一章引子：基本观点

第二章有向网与网系统
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.3N部电梯组装
5.4电梯系统的有色网表示
5.4.1一部电梯的颜色
5.4.2有色网上的四类有向弧

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

第七章C_net
7.1Petri网在编程上能做什么
7.2C_net变迁
7.3操作表达式
7.4C_net形式定义
7.5读写冲突，并发及系统性质

第八章工作流
8.1业务和业务管理
8.2任务问的逻辑依赖
8.3同步与同步器
8.4工作流逻辑网
8.5工作流逻辑的性质
8.6畅通性证明：化简规则
8.7工作流语义
8.8工作流管理
8.9管理职责与规则
8.9.1角色规则
8.9.2跳规则
8.10多案例处理与性能
8.11工作流的定义

第九章通用网论
9.1网上的两种操作
9.2网逻辑
9.2.1事实
9.2.2从命题到事实
9.2.3用事实推理——作图法
9.2.4事实向量和命题矩阵
9.2.5矩阵推理——代数法
9.3信息流网
9.3.1信息和条件
9.3.2箭头函数——守恒与可逆
9.3.3P1和Q的网表示——如何实现箭头函数
9.3.4一位噪声通道
9.4网拓扑
9.4.1无向网上的拓扑结构
9.4.2有向网上的连续映射
9.5并发
9.6形式语用学

第十章四季与八卦
10.1八卦
10.2四季
10.3万有律试用
10.3.1知识其实只是共识
10.3.2源和洞
10.3.3源洞合一
10.3.4万有律中的自由
10.3.5没有设计师的伟大建筑
10.4拾遗：八卦与阴阳鱼

参考文献
附录
《Petri网原理》一书前言（节选）
《Petri网原理与应用》前言（节选）
内容简介:
　　《Petri网应用》以帮助读者用好Pctri网为口的，以实例深入浅出地介绍Peti网，包括（定性与定量的）静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论的学习、研究和实践凝聚到《Petri网应用》中，删繁就简，希望Petri网理论能被读者接受。
目录:
《信息科学技术学术著作丛书》序
序
前言
第一章引子：基本观点

第二章有向网与网系统
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.3N部电梯组装
5.4电梯系统的有色网表示
5.4.1一部电梯的颜色
5.4.2有色网上的四类有向弧

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

第七章C_net
7.1Petri网在编程上能做什么
7.2C_net变迁
7.3操作表达式
7.4C_net形式定义
7.5读写冲突，并发及系统性质

第八章工作流
8.1业务和业务管理
8.2任务问的逻辑依赖
8.3同步与同步器
8.4工作流逻辑网
8.5工作流逻辑的性质
8.6畅通性证明：化简规则
8.7工作流语义
8.8工作流管理
8.9管理职责与规则
8.9.1角色规则
8.9.2跳规则
8.10多案例处理与性能
8.11工作流的定义

第九章通用网论
9.1网上的两种操作
9.2网逻辑
9.2.1事实
9.2.2从命题到事实
9.2.3用事实推理——作图法
9.2.4事实向量和命题矩阵
9.2.5矩阵推理——代数法
9.3信息流网
9.3.1信息和条件
9.3.2箭头函数——守恒与可逆
9.3.3P1和Q的网表示——如何实现箭头函数
9.3.4一位噪声通道
9.4网拓扑
9.4.1无向网上的拓扑结构
9.4.2有向网上的连续映射
9.5并发
9.6形式语用学

第十章四季与八卦
10.1八卦
10.2四季
10.3万有律试用
10.3.1知识其实只是共识
10.3.2源和洞
10.3.3源洞合一
10.3.4万有律中的自由
10.3.5没有设计师的伟大建筑
10.4拾遗：八卦与阴阳鱼

参考文献
附录
《Petri网原理》一书前言（节选）
《Petri网原理与应用》前言（节选）

查看详情

相关分类

计算机理论编程与开发操作系统大数据与云计算图形图像/多媒体网站设计与网页开发网络与通讯硬件、嵌入式开发办公软件信息安全辅助设计与工程计算软件工程/开发项目管理

Petri网应用下午5点前订单，当日发货！超时赔付

九五品

才华有限

四川省成都市

平均发货10小时成功完成率94.57%

￥53.21

券

100减20

立即购买加入购物车
8

Petri网应用内页有划痕

八五品

博琳书店

北京市昌平区

平均发货7小时成功完成率97.64%

￥20.00

券

100减20

立即购买加入购物车不属于本条目
正版书籍Petri网应用作者: 袁崇义著出版社: 科学出版社 9787030366375

全新

珍奇的书店761

北京市东城区

平均发货27小时成功完成率89.9%

￥90.82

券

100减20

立即购买加入购物车不属于本条目
3

正版现货 Petri网应用作者: 袁崇义著出版社: 科学出版社 9787030366375 9787030366375

全新

卓越网店

北京市东城区

平均发货21小时成功完成率88.87%

￥90.90

券

100减20

立即购买加入购物车不属于本条目
3

【正版保证】Petri网应用作者: 袁崇义著出版社: 科学出版社 9787030366375 9787030366375

全新

静听松风

北京市大兴区

平均发货17小时成功完成率84.15%

￥91.00

券

100减20

立即购买加入购物车不属于本条目
10

Petri网应用 (袁崇义签名)

2013-02 印刷
印次: 1

八五品

好又来书店

北京市昌平区

平均发货9小时成功完成率97.06%

￥150.00

券

100减20

立即购买加入购物车不属于本条目
Petri网应用全新正版

全新

知汇文轩书店

北京市通州区

平均发货37小时成功完成率87.65%

￥88.00

券

100减20

立即购买加入购物车
Petri网应用

全新

兴海文化书店

北京市通州区

平均发货32小时成功完成率84.93%

￥88.00

券

100减20

立即购买加入购物车
3

正版 Petri网应用作者: 袁崇义著出版社: 科学出版社 9787030366375 9787030366375

全新

遇见书店BOOKS

北京市昌平区

平均发货33小时成功完成率71.13%

￥87.00

券

100减20

立即购买加入购物车不属于本条目
Petri网应用按需印刷

全新

藏典阁书店

北京市通州区

平均发货25小时成功完成率90.24%

￥88.00

券

100减20

立即购买加入购物车
Petri网应用正版预售按需印刷

全新

启慧知远书店

北京市通州区

平均发货41小时成功完成率91.67%

￥88.00

券

100减20

立即购买加入购物车
[按需印刷]Petri网应用 9787030366375

全新

井大书店

江西省吉安市

平均发货53小时成功完成率85.33%

￥83.92

券

100减20

立即购买加入购物车不属于本条目
5

Petri网应用 Petri

2017-04 印刷
印次: 4

九五品

霜降冬瓜糖的书摊

北京市朝阳区

￥85.00

券

100减20

立即购买加入购物车