软件体系结构概念，形式化描述，综述等。个人总结，适合研究生用

Petri网仿真工具PiPE5.0版本，java语言开发。适合从事Petri网的科学研究工作者。