implemented get and set state transition rules and updated examples