promela建模语言的语法分析器和抽象语法树。
promela的Python项目详细描述
[！[生成状态][生成img]][travis] [！[保险范围状态][保险范围][工作服]
关于
promela建模语言的解析器。 [ply]（https://pypi.python.org/pypi/ply/3.4）（pythonlex-yacc）用于生成解析器。 包含promela抽象树的类，用于表示解析的结果。 一个简短的教程可以在文件doc.md中找到。 要安装：
` pip install promela `
许可证
[bsd-3]（http://opensource.org/licenses/BSD-3-Clause），请参阅LICENSE文件。
[生成图片]：https://travis-ci.org/johnyf/promela.svg?branch=master [特拉维斯]：https://travis-ci.org/johnyf/promela [覆盖范围]：https://coveralls.io/repos/johnyf/promela/badge.svg?branch=master [工作服]：https://coveralls.io/r/johnyf/promela?branch=master
欢迎加入QQ群-->： 979659372
