Revision control
Copy as Markdown
{
"initialConfiguration" : ["a","b"],
"events" : [
{
"event" : { "name" : "t1" },
"nextConfiguration" : ["a","b"]
},
{
"event" : { "name" : "t2" },
"nextConfiguration" : ["c"]
},
{
"event" : { "name" : "t3" },
"nextConfiguration" : ["d"]
}
]
}