广东职业技术学院图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

Petri网的元展:一种并发系统模型检测方法/刘关俊著

出版发行项:

北京:科学出版社,2020

ISBN及定价:

978-7-03-066259-0/CNY99.00

载体形态项:

160页:图;24cm

其它题名:

一种并发系统模型检测方法

个人责任者:

刘关俊 著

学科主题:

Petri网-研究

中图法分类号:

TP393.19

书目附注:

有书目 (第145-156页)

提要文摘附注:

本书主要介绍Petri网的元展这一用于并发系统模型检测的方法, 利用元展检测并发系统健壮性、兼容性与死锁, 并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑, 同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章, 具有严格的形式化定义、丰富的示例与图文解释、严谨的定理及其证明以及清晰的算法描述。

豆瓣简介：