Petri网详细介绍与学习