Transition* get_transition() const { return this->associated_transition.get(); }
aid_t get_actor() const { return get_transition()->aid_; }
Transition* get_transition() const { return this->associated_transition.get(); }
aid_t get_actor() const { return get_transition()->aid_; }