{
  "vercy": "1.0-draft",
  "publication": {
    "status": "research-draft",
    "adjudicationStatus": "unreviewed",
    "publishableCanonical": false,
    "generatedAt": "2026-09-14T04:01:23Z",
    "providers": [
      "Claude"
    ],
    "breadth": "written by Claude from model knowledge without web access - no source was read, every claim is a lead to verify",
    "pass": 2,
    "wave": 4,
    "engine": "claude"
  },
  "metaModel": {
    "id": "THING-Q724168",
    "registryId": "vr.tr.petri-net",
    "name": "Petri net",
    "version": "0.2.0-wave.4",
    "entryKind": "thing",
    "family": "Thing Registry",
    "domain": [
      "XCT.QLT"
    ],
    "status": "research-draft"
  },
  "canonicalUrl": "https://ver.cy/models/thing/q724168/",
  "model": {
    "registry_id": "vr.tr.petri-net",
    "name": "Petri net",
    "purpose": "Let an agent explain the Petri net, relay its structure, behaviour and uses from computer-science sources, describe the extensions its aliases name, and distinguish a Petri net from an ordinary graph and from a state machine.",
    "definition": "A Petri net is a mathematical modelling tool for describing systems in which things happen concurrently, drawn as a graph of places and transitions connected by arcs, with tokens that move to represent state and activity; the registry aliases name extensions such as coloured, timed and hybrid Petri nets. Petri nets are used to model and analyse concurrent, distributed and workflow systems, and they have a precise mathematical basis.",
    "what_it_is_for": "Modelling concurrent and distributed systems.",
    "affordances": [
      "explain the model",
      "relay its structure and behaviour",
      "describe extensions",
      "distinguish it from a state machine"
    ],
    "distinguishing_features": [
      "Places and transitions",
      "Token dynamics",
      "Models concurrency",
      "Precise mathematics"
    ],
    "appearance": "A graph of circular places and bar-like transitions joined by arrows, with dots as tokens marking state.",
    "visual_identification": [
      "Graph of places and transitions with moving tokens",
      "Coloured, timed and hybrid Petri nets",
      "An ordinary graph has no token dynamics; a state machine has one active state, not distributed tokens"
    ],
    "physical_properties": [
      {
        "quantity": "parts",
        "typical_range": "places, transitions, arcs, tokens",
        "unit": "list",
        "note": ""
      },
      {
        "quantity": "models",
        "typical_range": "concurrency",
        "unit": "note",
        "note": ""
      },
      {
        "quantity": "registry parent",
        "typical_range": "bipartite graph",
        "unit": "note",
        "note": ""
      }
    ],
    "families_and_kinds": [
      "place-transition net",
      "coloured Petri net",
      "timed Petri net",
      "hybrid Petri net"
    ],
    "related_models": [
      {
        "relation": "is a kind of",
        "target": "bipartite graph",
        "why": "in registry terms"
      },
      {
        "relation": "is contrasted with",
        "target": "ordinary graph",
        "why": ""
      },
      {
        "relation": "is contrasted with",
        "target": "finite state machine",
        "why": ""
      },
      {
        "relation": "models",
        "target": "concurrent systems",
        "why": ""
      }
    ],
    "identifiers": [],
    "standards_and_regulation": [
      "Formal modelling standards"
    ],
    "failure_modes_and_hazards": [
      "Confusing with an ordinary graph",
      "Confusing with a state machine",
      "Conflating extensions"
    ],
    "in_scope": [],
    "out_of_scope": [],
    "characteristics": []
  },
  "sources": [],
  "structure": {
    "bundles": [
      {
        "id": "understand",
        "name": "Understand",
        "description": "What a Petri net is.",
        "rationale": "Definition.",
        "layers": [
          {
            "id": "definition",
            "name": "Definition",
            "description": "Definition.",
            "findings": [
              {
                "id": "definition-finding",
                "name": "Definition",
                "description": "Definition.",
                "questions": [
                  {
                    "text": "What is a Petri net, and how does it differ from an ordinary graph and a state machine?",
                    "kind": "definition"
                  },
                  {
                    "text": "Is the question about a specific extension such as coloured nets?",
                    "kind": "boundary"
                  }
                ]
              }
            ]
          },
          {
            "id": "extensions",
            "name": "Extensions",
            "description": "Extensions.",
            "findings": [
              {
                "id": "extensions-finding",
                "name": "Extensions",
                "description": "Extensions.",
                "questions": [
                  {
                    "text": "What are coloured, timed and hybrid Petri nets?",
                    "kind": "definition"
                  },
                  {
                    "text": "Which entry fits the specific extension?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "structure",
        "name": "Structure",
        "description": "Structure.",
        "rationale": "Sources.",
        "layers": [
          {
            "id": "parts",
            "name": "Parts",
            "description": "Parts.",
            "findings": [
              {
                "id": "parts-finding",
                "name": "Parts",
                "description": "Parts.",
                "questions": [
                  {
                    "text": "What are places, transitions, arcs and tokens?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which references are standard?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "firing",
            "name": "Firing",
            "description": "Firing.",
            "findings": [
              {
                "id": "firing-finding",
                "name": "Firing",
                "description": "Firing.",
                "questions": [
                  {
                    "text": "How do transitions fire and move tokens?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "analysis",
        "name": "Analysis",
        "description": "Analysis.",
        "rationale": "Sources.",
        "layers": [
          {
            "id": "behaviour",
            "name": "Behaviour",
            "description": "Behaviour.",
            "findings": [
              {
                "id": "behaviour-finding",
                "name": "Behaviour",
                "description": "Behaviour.",
                "questions": [
                  {
                    "text": "How is a Petri net s behaviour analysed?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "properties",
            "name": "Properties",
            "description": "Properties.",
            "findings": [
              {
                "id": "properties-finding",
                "name": "Properties",
                "description": "Properties.",
                "questions": [
                  {
                    "text": "What properties such as reachability are studied?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          }
        ]
      },
      {
        "id": "context",
        "name": "Context",
        "description": "Context.",
        "rationale": "Context.",
        "layers": [
          {
            "id": "uses",
            "name": "Uses",
            "description": "Uses.",
            "findings": [
              {
                "id": "uses-finding",
                "name": "Uses",
                "description": "Uses.",
                "questions": [
                  {
                    "text": "Where are Petri nets used to model systems?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which sources are cited?",
                    "kind": "provenance"
                  }
                ]
              }
            ]
          },
          {
            "id": "models",
            "name": "Models",
            "description": "Related models.",
            "findings": [
              {
                "id": "models-finding",
                "name": "Models",
                "description": "Models.",
                "questions": [
                  {
                    "text": "How do Petri nets relate to other models of computation?",
                    "kind": "provenance"
                  },
                  {
                    "text": "Which entry fits the related model?",
                    "kind": "action"
                  }
                ]
              }
            ]
          }
        ]
      }
    ]
  },
  "openQuestions": [
    "Should extensions be separate entries?",
    "How should token dynamics be explained?",
    "How should the state-machine contrast be drawn?"
  ],
  "statistics": {
    "bundles": 4,
    "layers": 8,
    "findings": 8,
    "questions": 16
  }
}