Files written in Promela traditionally have a .pml file extension.
Promela로 작성된 파일은 일반적으로 .pml 파일 확장자를 가진다.