{
    "initialConfiguration" : ["b"],
    "events" : [
        {
            "event" : { "name" : "t1" },
            "nextConfiguration" : ["d1"]
        },
        {
            "event" : { "name" : "t2" },
            "nextConfiguration" : ["e1"]
        },
        {
            "event" : { "name" : "t3" },
            "nextConfiguration" : ["f2"]
        },
        {
            "event" : { "name" : "t4" },
            "nextConfiguration" : ["h"]
        },
        {
            "event" : { "name" : "t5" },
            "nextConfiguration" : ["i"]
        },
        {
            "event" : { "name" : "t5" },
            "nextConfiguration" : ["last"]
        }
    ]
}