书目

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

—  END  —