{
    "initialConfiguration" : ["s3.1","s4","s7","s8"],
    "events" : [ 
        {
            "event" : { "name" : "t" },
            "nextConfiguration" : ["s3.2","s4","s9","s10"]
        }

    ]
}