set except set cr cr transit dm model state machin factori creat composit state 