Petri网建模与仿真软件20-sim