simplan.json

{
  "steps": [
    {
      "dotFilePath": "ExampleNetwork.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": false,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "chandy-misra",
      "additionalParameters": {
        "l": 3,
        "totalNodes": 26,
        "kill": 1
      }
    },
    {
      "dotFilePath": "ExampleNetwork.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": false,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "merlin-segall",
      "additionalParameters": {
        "l": 3,
        "totalNodes": 26,
        "kill": 1
      }
    },
    {
      "dotFilePath": "ExampleNetwork.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": false,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "frederickson",
      "additionalParameters": {
        "l": 3,
        "totalNodes": 26,
        "kill": 1
      }
    },
    {
      "dotFilePath": "MyDotFile.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": false,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "chandy-misra",
      "additionalParameters": {
        "l": 3,
        "totalNodes": 26,
        "kill": 1
      }
    },
    {
      "dotFilePath": "MyDotFile.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": false,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "merlin-segall",
      "additionalParameters": {
        "l": 3,
        "totalNodes": 26,
        "kill": 1
      }
    },
    {
      "dotFilePath": "MyDotFile.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": false,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "frederickson",
      "additionalParameters": {
        "l": 3,
        "totalNodes": 26,
        "kill": 1
      }
    },
    {
      "dotFilePath": "ExampleNetwork.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": true,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "peterson-tournament",
      "additionalParameters": {
        "initiators": 12,
        "additional": 0,
        "kill": 1
      }
    },
    {
      "dotFilePath": "PetersonT.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": true,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "peterson-tournament",
      "additionalParameters": {
        "initiators": 4,
        "additional": 0,
        "kill": 1
      }
    },
    {
      "dotFilePath": "Peterson2.dot",
      "isDirected": false,
      "createRing": false,
      "createClique": false,
      "createBinTree": false,
      "enableFailureDetector": false,
      "algorithm": "peterson-two-process",
      "additionalParameters": {
        "kill": 1
      }
    }
  ]
}