as2fm.jani_generator.scxml_helpers.scxml_to_jani
Module handling the conversion from SCXML to Jani.
Functions
|
Assemble automata from multiple SCXML files into a Jani model. |
Convert an SCXML element to a Jani automaton. |
Module handling the conversion from SCXML to Jani.
Functions
|
Assemble automata from multiple SCXML files into a Jani model. |
Convert an SCXML element to a Jani automaton. |