一个老师写的PetriNet教材，适合入门，不错。