pk-fsm