0去购物车结算
购物车中还没有商品,赶紧选购吧!
当前位置: > Petri网应用

相同语种的商品

相同作者的商品

浏览历史

Petri网应用


联系编辑
 
标题:
 
内容:
 
联系方式:
 
  
Petri网应用
  • 书号:9787030366375
    作者:袁崇义
  • 外文书名:
  • 装帧:平装
    开本:B5
  • 页数:236
    字数:281
    语种:汉语
  • 出版社:科学出版社
    出版时间:2016-01-18
  • 所属分类:TP3 计算技术、计算机技术
  • 定价: ¥88.00元
    售价: ¥69.52元
  • 图书介质:
    按需印刷 电子书

  • 购买数量: 件  缺货,请选择其他介质图书!
  • 商品总价:

相同系列
全选

内容介绍

样章试读

用户评论

全部咨询

  本书以帮助读者用好Petri网为目的,以实例深入浅出地介绍Petri网,包括(定性与定量的)静态结构、动态性质和分析方法等。作者将30余年来对Petri网理论的学习、研究和实践凝聚到本书中,删繁就简,希望Petri网理论能被读者接受。   本书可作为计算机科学及相关专业的本科生和研究生教材,适合各领域对Petri网感兴趣的科研人员、教师以及软件开发人员学习和参考。
样章试读
  • 暂时还没有任何用户评论
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页

全部咨询(共0条问答)

  • 暂时还没有任何用户咨询内容
总计 0 个记录,共 1 页。 第一页 上一页 下一页 最末页
用户名: 匿名用户
E-mail:
咨询内容:

目录

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

    前言
    第一章 引子:基本观点
    第二章 有向网与网系统
    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
    7.1 Petri网在编程上能做什么
    7.2 C_net变迁
    7.3 操作表达式
    7.4 C_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.3 P_1和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 拾遗:八卦与阴阳鱼
    参考文献
    附录
帮助中心
公司简介
联系我们
常见问题
新手上路
发票制度
积分说明
购物指南
配送方式
配送时间及费用
配送查询说明
配送范围
快递查询
售后服务
退换货说明
退换货流程
投诉或建议
版权声明
经营资质
营业执照
出版社经营许可证