{
  "abstract": "Petri nets, introduced by Carl Adam Petri in 1962, remain among the most enduring formalisms for modelling concurrent, distributed, and asynchronous systems. This paper reviews Petri net theory from its classical foundations to developments reported through 2026, organised around three strands: the behavioural and structural theory consolidated in the classical tutorial literature, most notably Murata's 1989 survey; the algebraic treatment of nets that began with incidence matrices and net languages and was deepened in dedicated studies such as Kunimochi's dissertation on the algebraic properties of Petri net languages and codes; and the more recent categorical, semigroup theoretic, and semiring based reformulations that support compositional modelling and performance analysis. Building on this synthesis, we argue that a systematic algebraic foundation for Petri nets, treating markings, firing sequences, and net morphisms as elements of explicitly defined semigroups, monoids, lattices, or categories, is a structural necessity rather than a cosmetic reformulation. Such structures unify decidability results, enable compositional construction of large nets from verified components, support invariant based verification, and connect Petri net theory to automata, formal language, and coding theory. We close with open problems whose resolution depends on a clearer algebraic axiomatisation of Petri net behaviour, and we recommend directions for future research.",
  "abstract_shown": true,
  "affiliations": [],
  "article_type": null,
  "arxiv": null,
  "author_total": 2,
  "authors": [
    {
      "name": "Dr Girish K P"
    },
    {
      "name": "Saithalavi P"
    }
  ],
  "bibtex": "https://research.draconitic.com/paper/b6ja8g975wdsw.bib",
  "cited_by": 0,
  "doi": null,
  "fulltext_url": null,
  "id": "b6ja8g975wdsw",
  "issns": [],
  "landing_url": "https://hal.science/hal-05748056v1",
  "language": "en",
  "licence": "CC-BY-NC-ND-4.0",
  "licence_label": "CC BY-NC-ND 4.0",
  "licence_source": "article",
  "licence_url": "https://creativecommons.org/licenses/by-nc-nd/4.0/",
  "metadata_licence": null,
  "native_subjects": [
    [
      "hal",
      "0.math"
    ]
  ],
  "openalex": null,
  "pdf_url": "https://hal.science/hal-05748056/document",
  "pmcid": null,
  "pmid": null,
  "published": "2026-09-13",
  "publisher": null,
  "ris": "https://research.draconitic.com/paper/b6ja8g975wdsw.ris",
  "sources": [
    {
      "first_seen": "2026-11-04T12:20:47Z",
      "native_id": "hal-05748056",
      "source": "hal",
      "url": "https://hal.science/hal-05748056v1"
    }
  ],
  "subjects": [
    {
      "field": "mathematics",
      "origin": "hal:0.math",
      "subfield": "general"
    }
  ],
  "title": "Petri Nets: Theory, Analysis, and the Case for Algebraic Structures -A Review from Foundations to 2026",
  "title_text": "Petri Nets: Theory, Analysis, and the Case for Algebraic Structures -A Review from Foundations to 2026",
  "type": "preprint",
  "updated_at": "2026-11-04T12:20:47Z",
  "url": "https://research.draconitic.com/paper/b6ja8g975wdsw",
  "venue": "HAL",
  "versions": []
}