介绍snoopy仿真软件的功能和使用。snoopy是一种功能全面的Petri网仿真和分析工具。