{
    "initialConfiguration" : ["a"],
    "events" : [
        {
            "event" : { "name" : "t" },
            "nextConfiguration" : ["f1"]
        }
    ]
}