{
  "name": "PlanProSchematron",
  "description": "",
  "machines": [
    {
      "name": "PlanPro_VisB",
      "description": "",
      "location": "PlanPro_VisB.def",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "PlanPro_VisB_en",
      "description": "",
      "location": "PlanPro_VisB_en.def",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "PlanPro_VisB.rmch",
      "description": "",
      "location": "PlanPro_VisB.rmch",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "PHausen",
      "description": "",
      "location": "PHausen.mch",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "mwe7XSD",
      "description": "",
      "location": "mwe7XSD.mch",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": [
        ""
      ]
    },
    {
      "name": "mwe88XSD",
      "description": "",
      "location": "mwe88XSD.mch",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "mwe622XSD",
      "description": "",
      "location": "mwe622XSD.mch",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": [
        ""
      ]
    },
    {
      "name": "PlanPro_validation",
      "description": "",
      "location": "PlanPro_validation.rmch",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": []
    },
    {
      "name": "PlanPro_validation_en",
      "description": "",
      "location": "PlanPro_validation_en.rmch",
      "lastUsedPreferenceName": "default",
      "validationTasks": [],
      "ltlPatterns": [],
      "simulations": [],
      "visBVisualisations": [
        ""
      ]
    }
  ],
  "requirements": [],
  "preferences": [],
  "metadata": {
    "fileType": "Project",
    "formatVersion": 57,
    "savedAt": "2025-06-25T09:25:53.703589Z",
    "creator": "User",
    "proB2KernelVersion": "4.13.2-SNAPSHOT",
    "proBCliVersion": null,
    "modelName": null
  }
}