Петя, Петр, Петенька, Иван, Ваня, Ванечка, Юрий, Юра, Юрочка, Миша, Михаил, Мишенька, Григорий, Гриша, Гришенька.

Это список русских мужских имён, где для каждого имени приведены разные формы: полная официальная форма, краткая разговорная форма и уменьшительно-ласкательная форма.

Разобрать можно так:

Пётр — полное имя.
Петя — краткая разговорная форма.
Петенька — уменьшительно-ласкательная форма.

Иван — полное имя.
Ваня — краткая разговорная форма.
Ванечка — уменьшительно-ласкательная форма.

Юрий — полное имя.
Юра — краткая разговорная форма.
Юрочка — уменьшительно-ласкательная форма.

Михаил — полное имя.
Миша — краткая разговорная форма.
Мишенька — уменьшительно-ласкательная форма.

Григорий — полное имя.
Гриша — краткая разговорная форма.
Гришенька — уменьшительно-ласкательная форма.

То есть правильнее сгруппировать так:

Пётр — Петя — Петенька
Иван — Ваня — Ванечка
Юрий — Юра — Юрочка
Михаил — Миша — Мишенька
Григорий — Гриша — Гришенька

При этом важно, что Петя и Пётр — это не разные имена, а разные формы одного имени. То же самое с парами Иван — Ваня, Юрий — Юра, Михаил — Миша, Григорий — Гриша.

В официальных документах обычно пишут полные формы: Пётр, Иван, Юрий, Михаил, Григорий. В повседневной речи чаще используют краткие формы: Петя, Ваня, Юра, Миша, Гриша. А формы вроде Петенька, Ванечка, Юрочка, Мишенька, Гришенька употребляются в ласковой, семейной или очень тёплой речи.