Revision control

Copy as Markdown

{
"initialConfiguration" : ["a1","a2"],
"events" : [
{
"event" : { "name" : "t1" },
"nextConfiguration" : ["b1","a2"]
},
{
"event" : { "name" : "t2" },
"nextConfiguration" : ["c1","a2"]
},
{
"event" : { "name" : "t3" },
"nextConfiguration" : ["d1","a2"]
},
{
"event" : { "name" : "t4" },
"nextConfiguration" : ["e1","a2"]
},
{
"event" : { "name" : "t5" },
"nextConfiguration" : ["f1","a2"]
},
{
"event" : { "name" : "t6" },
"nextConfiguration" : ["g1","b2"]
},
{
"event" : { "name" : "t7" },
"nextConfiguration" : ["h1","d2"]
},
{
"event" : { "name" : "t8" },
"nextConfiguration" : ["i1","d2"]
},
{
"event" : { "name" : "t9" },
"nextConfiguration" : ["j1","e2"]
},
{
"event" : { "name" : "t10" },
"nextConfiguration" : ["k1","e2"]
}
]
}