重庆电子科技职业大学图书馆

登录

书目详细信息： Petri网的元展:一种并发系统模型检测方法

书目信息  机读格式(MARC)

《Petri网的元展:一种并发系统模型检测方法》

ISBN/价格：	978-7-03-066259-0:CNY99.00
作品语种：	chi
出版国别：	CN 110000
题名责任者项：	Petri网的元展/.刘关俊著
出版发行项：	北京:,科学出版社:,2021
载体形态项：	160页:;+24cm
提要文摘：	本书主要介绍Petri网的元展这一用于并发系统模型检测的方法,利用元展检测并发系统健壮性、兼容性与死锁,并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑,同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。
题名主题：	Petri网研究
中图分类：	TP393.1
个人名称等同：	刘关俊著
记录来源：	CN ZJF 20210616

总体评分：（共0人）

我的评分：

收藏加入课程

相关资源

馆藏信息  附件信息  评论信息  相关借阅  借阅趋势  参考书目

借阅关系图

相关资源

二维码

《Petri网的元展:一种并发系统模型检测方法》二维码