本书主要介绍Petri网的元展这一用于并发系统模型检测的方法，利用元展检测并发系统健壮性、兼容性与死锁，...
2020.9
Petri网是一种模拟并发系统的数学模型，活性是Petri网的重要性质之一，与并发系统的无死锁性密切相关。本书...
2020.4