{
    "initialConfiguration" : ["a"],
    "events" : [
        {
            "event" : { "name" : "t1" },
            "nextConfiguration" : ["b1.1","c1.1"]
        },
        {
            "event" : { "name" : "t2" },
            "nextConfiguration" : ["b1.2","c1.2"]
        },
        {
            "event" : { "name" : "t3" },
            "nextConfiguration" : ["b2.1","c2.1"]
        },
        {
            "event" : { "name" : "t4" },
            "nextConfiguration" : ["b2.2","c2.2"]
        },
        {
            "event" : { "name" : "t5" },
            "nextConfiguration" : ["a"]
        },
        {
            "event" : { "name" : "t6" },
            "nextConfiguration" : ["b2.2","c2.1"]
        },
        {
            "event" : { "name" : "t7" },
            "nextConfiguration" : ["b2.2","c2.2"]
        },
        {
            "event" : { "name" : "t8" },
            "nextConfiguration" : ["a"]
        },
        {
            "event" : { "name" : "t9" },
            "nextConfiguration" : ["b2.2","c2.2"]
        }
    ]
}






