PetriNetModel.pont PetriNet_MalariaExample_Revised.pont PetriNet_MalariaExample_Revised.pprj PetriNetModel.pins PetriNet_MalariaExample_Revised.pins PetriNetModel.pprj diagram.pins diagram.pont diagram.pprj