JANI support for committed actions
Although the JANI spec doesn't have built in support for "committed/timeless actions" in STA, which is the superset where non-Markovian IOSA fall, our I/O division of actions may allow for a workaround as pointed out by Arnd:
- make special source locations for the transitions ("edges" in JANI) with a committed action;
- the time-invariant of the location (
time-progress:exp:<...>
in JANI) is the negation of the guard of the edge.
However, to reach such committed locations these must be among the destinations of other edges, possibly both committed and not-committed.
I'm not sure how to define in general that a committed location is the destination of an edge. If that can be done, this workaround should fly.