modification according to the description in the paper (such as triggers and transitions with conditions)