PetriTree builder