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