as2fm.jani_generator.scxml_helpers.scxml_to_jani

Module handling the conversion from SCXML to Jani.

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.