as2fm.jani_generator.scxml_helpers.scxml_to_jani

Functions for the conversion from SCXML to Jani.

The main entrypoint is convert_scxml_root_to_jani_automaton.

Functions

convert_multiple_scxmls_to_jani(scxmls, ...)	Assemble automata from multiple SCXML files into a Jani model.
convert_scxml_root_to_jani_automaton(...)	Convert an SCXML element to a Jani automaton.
preprocess_jani_expressions(jani_model)	Preprocess JANI expressions in the model to be compatible with the standard JANI format.