Latex listings 高亮promela语言

promela的配置文件位置

安装目录	exlive2020	exmf-dist	exlatexlistingslstlang3.sty
搜索Promela
如下所示：