潍坊科技学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

基于Petri网的计算树逻辑模型检测/刘关俊, 何雷锋著

出版发行项:

北京:科学出版社,2024

ISBN及定价:

978-7-03-077284-8/CNY108.00

载体形态项:

195页:图;24cm

个人责任者:

刘关俊 著

个人责任者:

何雷锋 著

学科主题:

计算机科学-研究

中图法分类号:

TP3

责任者附注:

刘关俊，同济大学教授，博士生导师。2011年7月毕业于同济大学计算机软件与理论专业，获得工学博士学位，同年赴新加坡科技设计大学从事博士后工作。

责任者附注:

何雷锋，2023 年1月获得同济大学计算机科学与技术专业博士学位。何雷锋主要从事Petri网、计算树逻辑、模型检测等方面的理论与应用研究。

书目附注:

有书目 (第183-195页)

提要文摘附注:

本书主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资源分配、事件的实时性约束等。

豆瓣简介：