PEPS Project
User's Guide
Contact Us

Compile DSC

This module converts the Full Markovian Descriptor in a Sparse Markovian Descriptor.  In other words, all small matrices stored in full format are converted to sparse format. This operation reduces the number of multiplication in the solution phase. Addictionally, this module make the model aggregation. Two or more automata are merged in one juste automaton. Two aggregation methods are implemented in this module.

The Section 5.1.1 in PEPS2007 manual descrives the module options.

Module Download: