|
|
|
|
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:
|
|
|