as2fm.jani_generator.ros_helpers.ros_timer.is_global_timer_event

as2fm.jani_generator.ros_helpers.ros_timer.is_global_timer_event(event_name: str)

Check if the event name is the one stepping the global automaton forward.