The meta-model for state nets has changed significantly in several ways. First, we have added priority constraints to states and transitions that allow us to control the priority with which we fire transitions and enter states. Together with this, we associate membership in an object class with the idea of having a thread in a state or transition that pertains to the object class. We have changed the notion of states being members of a state net. Instead, we say that states pertain to object classes.
State names are fully qualified by the name of the object class to which the state pertains.
Here we change State pertains to Object Class to State directly pertains to Object Class . The former relationship set can be computed from the latter together with the generalizations of an object class. This change lets us omit two general constraints. Transition Like states, described above, transitions now pertain to object classes. There are several changes here.