← 返回

基于Petri网的计算树逻辑模型检测

著者刘关俊，何雷锋著
ISBN9787030772848
分类号TP393.19 自动化技术、计算机技术
学科工学
版次第1版
出版社科学出版社
丛书名—
出版年2024
价格¥108.00
页码195页
类型 📄 纸质书
核心评分8.6/10
读者对象—
主题词Petri网—研究
内容简介：本书主要介绍原型Petri网、知识Petri网、带有优先级的时间Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、(抢占式)资源分配、事件的实时性约束等。
登录后可荐购