model.json

{
    "name": "Shared state example.",
    "models": [
        {
            "name": "FirstModel",
            "generator": "quick_random(vertex_coverage(100))",
            "startElementId": "v0",
            "actions": [
                "global.available = true"
            ],
            "vertices": [
                {
                    "id": "v0",
                    "name": "vertex_A"
                },
                {
                    "id": "v1",
                    "name": "vertex_B",
                    "sharedState": "link"
                }
            ],
            "edges": [
                {
                    "id": "e0",
                    "name": "edge_A",
                    "sourceVertexId": "v0",
                    "targetVertexId": "v1"
                },
                {
                    "id": "e1",
                    "name": "edge_B",
                    "actions": [
                        "global.available = true"
                    ],
                    "sourceVertexId": "v1",
                    "targetVertexId": "v0"
                }
            ]
        },
        {
            "name": "SecondModel",
            "generator": "quick_random(vertex_coverage(100))",
            "startElementId": "v0",
            "vertices": [
                {
                    "id": "v2",
                    "name": "vertex_C",
                    "sharedState": "link"
                },
                {
                    "id": "v3",
                    "name": "vertex_D"
                }
            ],
            "edges": [
                {
                    "id": "e2",
                    "name": "edge_C",
                    "guard": "global.available == true",
                    "sourceVertexId": "v2",
                    "targetVertexId": "v3"
                }
            ]
        }
    ]
}