PEPS Project
User's Guide
Contact Us

Generate HBF

Another module implemented in PEPS is the generation of the equivalent Markov Chain from the original SAN model.  In a first moment, this module was  implemented to tests the correctness of  the SAN model compile phase.  However, with the conv option, the SAN model can be exported to Marca software and other tools that use HBF format.

The Section 5.2.1 in PEPS2007 manual describes the module options.

Module Download: