Revision control
Copy as Markdown
{
"initialConfiguration" : ["i1","j","h","g","f1","k"],
"events" : [
{
"event" : { "name" : "t1" },
"nextConfiguration" : ["i2","j","h","g","f2","k"]
},
{
"event" : { "name" : "t2" },
"nextConfiguration" : ["l"]
},
{
"event" : { "name" : "t3" },
"nextConfiguration" : ["i2","j","h","g","f2","k"]
}
]
}