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