JANI-Model¶

The JANI specification defines a JSON-based standardized exchange format for quantitative models. Momba supports loading and saving models in the JANI format.

momba.ext.jani.dump_model(network, *, indent=None, allow_momba_operators=False)[source]¶

Takes a Momba automata network and exports it to the JANI format.

Parameters

network (Network) – The Momba automata network to export to JANI.
indent (Optional[int]) – Indentation of the final JSON.

Return type

bytes

Returns

The model in UTF-8 encoded JANI format.

momba.ext.jani.load_model(source)[source]¶

Constructs a Momba automata network based on the provided JANI model.

Parameters: source (Union[bytes, str]) – The source of the JANI model to load.
Return type: Network
Returns: The resulting network of Momba automata network.