← Back to catalogue
Research draft

Petri net

vr.tr.petri-net · thing-q724168

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.

Thing Registry XCT.QLT

Research draft, second pass

A second pass drafted this model: the structure a model of this thing needs, and what is known about it in the world. The line under this one says how the second half was obtained - researched against sources, or recalled without web access, in which case nothing here was read anywhere and every claim is a lead to verify. Unreviewed either way.

Researched by: Claude

Bundle → Layer → Finding → QuestionsClassifiersWhat it isWhy it existsDistinguishing featuresWhat robots and AI may and may not doMoral aspectsOwnersLinks to other meta-modelsIdentity and identifiersDirect propertiesRecognitionCapabilities and actionsHazards and failure modesStandards and interfacesContext of useSources

Bundle → Layer → Finding → Questions Filled

4 bundles · 8 layers · 8 findings · 16 questions

Understand What a Petri net is.

Definition

Definition.

Definition

Definition.

  1. What is a Petri net, and how does it differ from an ordinary graph and a state machine? definition
  2. Is the question about a specific extension such as coloured nets? boundary

Extensions

Extensions.

Extensions

Extensions.

  1. What are coloured, timed and hybrid Petri nets? definition
  2. Which entry fits the specific extension? action
Structure Structure.

Parts

Parts.

Parts

Parts.

  1. What are places, transitions, arcs and tokens? provenance
  2. Which references are standard? provenance

Firing

Firing.

Firing

Firing.

  1. How do transitions fire and move tokens? provenance
  2. Which sources are cited? provenance
Analysis Analysis.

Behaviour

Behaviour.

Behaviour

Behaviour.

  1. How is a Petri net s behaviour analysed? provenance
  2. Which sources are cited? provenance

Properties

Properties.

Properties

Properties.

  1. What properties such as reachability are studied? provenance
  2. Which sources are cited? provenance
Context Context.

Uses

Uses.

Uses

Uses.

  1. Where are Petri nets used to model systems? provenance
  2. Which sources are cited? provenance

Models

Related models.

Models

Models.

  1. How do Petri nets relate to other models of computation? provenance
  2. Which entry fits the related model? action

Classifiers Filled

Family
Thing Registry
Domain
XCT.QLT

What it is Filled

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.

Why it exists Filled

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.

Distinguishing features Filled

  • Places and transitions
  • Token dynamics
  • Models concurrency
  • Precise mathematics

What robots and AI may and may not do Derived, awaiting review

May

  • explain the model
  • relay its structure and behaviour
  • describe extensions
  • distinguish it from a state machine

Note: Affordances listed as what may be done; prohibitions collected from the text.

Moral aspects Missing, in the backlog

Not described yet. This gap is in the card backlog.

Owners Missing, in the backlog

Not described yet. This gap is in the card backlog.

Links to other meta-models Filled

related

  • bipartite graph - in registry terms
  • ordinary graph
  • finite state machine
  • concurrent systems

What else AI and robots need to interact with it Incomplete

Identity and identifiers required Missing, in the backlog

Not described yet. This gap is in the card backlog.

Direct properties not applicable Not applicable

  • parts: places, transitions, arcs, tokens list
  • models: concurrency note
  • registry parent: bipartite graph note

Plane XCT: no invented physical properties.

Recognition optional Filled

  • 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 and actions required Filled

  • explain the model
  • relay its structure and behaviour
  • describe extensions
  • distinguish it from a state machine

Hazards and failure modes required Filled

  • Confusing with an ordinary graph
  • Confusing with a state machine
  • Conflating extensions

Standards and interfaces required Filled

  • Formal modelling standards

Context of use required Filled

  • Modelling concurrent and distributed systems.
  • place-transition net
  • coloured Petri net
  • timed Petri net
  • hybrid Petri net

Sources Missing, in the backlog

Not described yet. This gap is in the card backlog.

Note: Written from model knowledge without web access; claims are unverified.

Open questions

  • 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?

Machine files

Card as JSON Specification Card backlog vercy.card/1

Provenance

thing registry research (pass 2) · unreviewed

Built from: models/things/publications/thing-q724168/spec.json