|
题名:
|
基于Petri网的计算树逻辑模型检测 / 刘关俊, 何雷锋著 , |
|
ISBN:
|
978-7-03-077284-8 价格： CNY108.00 |
|
语种:
|
chi |
|
载体形态:
|
195页 图 24cm |
|
出版发行:
|
出版地： 北京 出版社： 科学出版社 出版日期： 2024 |
|
内容提要:
|
本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。 |
|
主题词:
|
计算机科学 研究 |
|
中图分类法:
|
TP3 版次： 5 |
|
主要责任者:
|
刘关俊 著 |
|
主要责任者:
|
何雷锋 著 |
|
责任者附注:
|
刘关俊，同济大学教授，博士生导师。2011年7月毕业于同济大学计算机软件与理论专业，获得工学博士学位，同年赴新加坡科技设计大学从事博士后工作。 |
|
责任者附注:
|
何雷锋，2023 年1月获得同济大学计算机科学与技术专业博士学位。何雷锋主要从事Petri网、计算树逻辑、模型检测等方面的理论与应用研究。 |