刘关俊，何雷锋，著，基于Petri网的计算树逻辑模型检测，科学出版社，2024.1本书主要介绍原型Petri 网、知识Petri 网、带有优先级的时间Petri网，用于对有限状态并发系...[详细]

This book provides the primary knowledge of Petri net theory and Petri-nets based model checking methods. As for the Petri net theory, it involves the interl...[详细]

内容简介：本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计...[详细]

内容简介本书从理论研究与应用结合两个方面着手，以Petri网活性为主线，开展了Perti网（子类）的活性判定、基于Petri网的资源分配系统死锁预防策略、基于Petri网的交互...[详细]