petri网基础知识