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.