2Systems-SIDEBYSIDE

{

  "configurations" : {

    "subnodes":[],
    "equivalentSystem":"sistemafinale",
    "subsystems":["sistema1","sistema2"],
    "retro":false,
    "subConfig":"sidebyside",
    "name":"sistema3",
    "systemPosition":""

  },

  "sistemsColletion":[
    {
    "name":"sistema1",
    "states":["s1","s2"],
    "initialstate":["s1"],
    "input":["a"],
    "output":["b"],

    "updateFunctions":
      [
    {
        "initialState":"s1",
        "input":["a"],
        "output":["b"],
        "finalState":"s1"
    }, {
        "initialState":"s2",
        "input":["-a"],
        "output":[""],
        "finalState":"s2"
    },
    {
        "initialState":"s2",
        "input":["a"],
        "output":[""],
        "finalState":"s2"
    },
    {
        "initialState":"s1",
        "input":["-a"],
        "output":["b"],
        "finalState":"s2"
    },
    {
        "initialState":"s2",
        "input":["-a"],
        "output":[""],
        "finalState":"s1"
    }
    ]

    },


    {
    "name":"sistema2",
    "states":["s3","s4"],
    "initialstate":["s3"],
    "input":["a"],
    "output":["b"],

   "updateFunctions":
      [
    {
        "initialState":"s3",
        "input":["a"],
        "output":[""],
        "finalState":"s3"
    },
    {
        "initialState":"s3",
        "input":["-a"],
        "output":[""],
        "finalState":"s4"
    },
      {
        "initialState":"s4",
        "input":["a"],
        "output":["b"],
        "finalState":"s3"
    }
    ]


    }
  ]
}