Petri网并行化理论与并行算法.pdf
Petri网是复杂系统运行过程中并发、互斥、同步最直接、自然和精确的表示，已成为描述物理世界的异步并发现象并揭示其可计算规律的重要理论和模型。由于Petri网系统具有并发、同步的特点，同时存在状态空间爆炸的问题，要借助Petri网模拟复杂系统的并行运行或动画演示，以实现对Petr
petri网
Petri网的元展：一种并发系统模型检测方法.pdf
本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，并利用元展检测能够表达更多的并发系统设计需求的计算树逻辑，同时还探讨了健壮性、兼容性、死锁等判定问题的复杂度。全书共10章，具有严格的形式化定义、丰富的示例与图文解释、严谨的定
Petri网应用.pdf
本书以实例深入浅出地介绍了Petri网，包括（定性与定量的）静态结构、动态性质和分析方法等。内容包括：有向网与网系统、网系统的性质和通用分析方法、高级网系统、电梯控制、同步距离、工作流、通用网论等。
基于Petri网的计算树逻辑模型检测 刘关俊,何雷锋 著.pdf
《基于Petri网的计算树逻辑模型检测》主要介绍原型 Petri 网、知识 Petri 网、带有优先级的时间 Petri网，用于对有限状态并发系统控制流、安全多方计算协议、多处理器抢占式实时系统等在一定层级上的抽象建模，如刻画并发、选择、冲突、多方交互、多方认知过程、（抢占式）资