Timed transition interfaces
Interface for intermediate extended for exporting timed transitions and scheduling them. Execution and finalized statements now contain a node to scheduling and canceling timeouts.
Interface for intermediate extended for exporting timed transitions and scheduling them. Execution and finalized statements now contain a node to scheduling and canceling timeouts.