as2fm.jani_generator.scxml_helpers.scxml_event_processor

Module to process events from scxml and implement them as syncs between jani automata.

Functions

implement_scxml_events_as_jani_syncs(...)

Implement the scxml events as jani syncs.