好用的模型检测工具spin，功能很强大。

基于聚类算法的RBF神经网络设计综述，如果对RBF感兴趣的话，该文章还有有一定的参考价值的。

一种有效的基于LTL和PETRI网的模型检测方法

关于CTL模型检测，很好的入门，还有很多实例。

对研究petri网和时序逻辑理论知识的有很大的启发作用

基于RBF神经网络的回归树学习算法，在基本的学习算法中，提出的一种新的算法，可以参考。