virtual void execute_next(aid_t aid, RemoteApp& app) = 0;
// Mark the first enabled and not yet done transition as todo
// If there's already a transition marked as todo, does nothing
virtual void execute_next(aid_t aid, RemoteApp& app) = 0;
// Mark the first enabled and not yet done transition as todo
// If there's already a transition marked as todo, does nothing