promela的配置文件位置
\安装目录\texlive\2020\texmf-dist\tex\latex\listings\lstlang3.sty 搜索Promela 如下所示：
Latex listings 高亮promela语言
原文：https://www.cnblogs.com/rainouyang/p/14468457.html
