petri.elf