本书主要介绍Petri网的元展这一用于并发系统模型检测的方法,利用元展检测并发系统健壮性、兼容性与死锁,...
2020.9
本书系统介绍了直觉模糊集Petri网理论及其在智能信息系统等领域中的应用。内容包括模糊集、直觉模糊集、Pet...
2018.11
本书的主要内容为Petri网的层次化抽象方法及其实际应用,具体分为三个方面进行阐述:第一部分从模型抽象的...
2018.
系统地探讨了以下几方面内容:(1)各种Petri网转换成P/T网的方法、数学表示及形式化过程的研究。(2)多核PC...
2018.6