as2fm.jani_generator.scxml_helpers.scxml_event_processor
Module to process events from scxml and implement them as syncs between jani automata.
Functions
Implement the scxml events as jani syncs. |
Module to process events from scxml and implement them as syncs between jani automata.
Functions
Implement the scxml events as jani syncs. |