renamed permissible states and events to permitted states events