{"schema":"https://ver.cy/schemas/card/1.0.0","id":"vr.tr.petri-net","code":"thing-q724168","url":"https://ver.cy/models/thing/q724168/","name":"Petri net","alternateNames":[],"kind":"thing","status":"research-draft","version":"0.2.0-wave.4","language":"en","classifiers":{"family":"Thing Registry","category":"","entryKind":"","plane":"","domain":["XCT.QLT"],"industry":[],"navPath":"","tags":[],"facets":{}},"whatItIs":"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.","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.","scope":{"in":[],"out":[],"boundaries":[]},"distinguishingFeatures":["Places and transitions","Token dynamics","Models concurrency","Precise mathematics"],"structure":{"bundles":[{"id":"understand","name":"Understand","description":"What a Petri net is.","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.","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.","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.","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"}]}]}]}]},"agentConduct":{"may":["explain the model","relay its structure and behaviour","describe extensions","distinguish it from a state machine"],"mustNot":[],"requiresHuman":[]},"ethics":{"considerations":[],"affectedParties":[]},"owners":{"steward":"","roles":[],"masterSystems":[]},"relations":[{"target":"bipartite graph","type":"related","note":"in registry terms"},{"target":"ordinary graph","type":"related"},{"target":"finite state machine","type":"related"},{"target":"concurrent systems","type":"related"}],"interaction":{"identity":{"applicability":"required","items":[]},"properties":{"applicability":"not-applicable","items":["parts: places, transitions, arcs, tokens list","models: concurrency note","registry parent: bipartite graph note"]},"recognition":{"applicability":"optional","items":["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","A graph of circular places and bar-like transitions joined by arrows, with dots as tokens marking state."]},"capabilities":{"applicability":"required","items":["explain the model","relay its structure and behaviour","describe extensions","distinguish it from a state machine"]},"hazards":{"applicability":"required","items":["Confusing with an ordinary graph","Confusing with a state machine","Conflating extensions"]},"interfaces":{"applicability":"required","items":["Formal modelling standards"]},"context":{"applicability":"required","items":["Modelling concurrent and distributed systems.","place-transition net","coloured Petri net","timed Petri net","hybrid Petri net"]}},"sources":[],"openQuestions":["Should extensions be separate entries?","How should token dynamics be explained?","How should the state-machine contrast be drawn?","Which entry fits the specific extension?","Which entry fits the related model?"],"resources":{"spec":"/models/things/publications/thing-q724168/spec.json"},"provenance":{"origin":"thing registry research (pass 2)","builtFrom":["models/things/publications/thing-q724168/spec.json"],"providers":["Claude"],"researchStatus":"unreviewed","generatedAt":"2026-09-14T04:01:23Z","builder":"tools/build_cards.py@1.0.0"},"completeness":{"sections":{"classifiers":"filled","whatItIs":"filled","purpose":"filled","distinguishingFeatures":"filled","structure":"filled","agentConduct":"derived","ethics":"missing","owners":"missing","relations":"filled","interaction.identity":"missing","interaction.properties":"not-applicable","interaction.recognition":"filled","interaction.capabilities":"filled","interaction.hazards":"filled","interaction.interfaces":"filled","interaction.context":"filled","sources":"missing"},"notes":{"agentConduct":"Affordances listed as what may be done; prohibitions collected from the text.","interaction.properties":"Plane XCT: no invented physical properties.","sources":"Written from model knowledge without web access; claims are unverified."},"score":0.719}}