A parser for the Promela modeling language.
yacc) is used to generate the parser.
Classes for a Promela abstract tree are included and used for representing the result of parsing.
A short tutorial can be found in the file
pip install promela