Pith. sign in

REVIEW 2 cited by

Whole-grain Petri nets and processes

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2005.05108 v4 pith:FP43V2UV submitted 2020-05-11 cs.LO math.ATmath.COmath.CT

Whole-grain Petri nets and processes

Joachim Kock This is my paper
classification cs.LO math.ATmath.COmath.CT
keywords petrisemanticsformalismnetsprocessescolouredetalefree
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved
0 comments
read the original abstract

We present a formalism for Petri nets based on polynomial-style finite-set configurations and etale maps. The formalism supports both a geometric semantics in the style of Goltz and Reisig (processes are etale maps from graphs) and an algebraic semantics in the style of Meseguer and Montanari, in terms of free coloured props, and allows the following unification: for P a Petri net, the Segal space of P-processes is shown to be the free coloured prop-in-groupoids on P. There is also an unfolding semantics \`a la Winskel, which bypasses the classical symmetry problems: with the new formalism, every Petri net admits a universal unfolding, which in turn has associated an event structure and a Scott domain. Since everything is encoded with explicit sets, Petri nets and their processes have elements. In particular, individual-token semantics is native. (Collective-token semantics emerges from rather drastic quotient constructions \`a la Best-Devillers, involving taking {\pi}_0 of the groupoids of states.)

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Guarded Realization Semantics: Occurrence-Sensitive Certificates and Behavior-Dependent Lower Bounds

    math.CT 2026-07 conditional novelty 6.0

    Under stated guards, every realization satisfies Q(O(Err(r))) ≤ A(Err(r)) ≤ U(r), with U from occurrence-sensitive certificates and Q from behavior-fiber or quotient-norm reflection.

  2. Double Categories of Open Systems: the Cospan Approach

    math.CT 2025-09 conditional novelty 4.0

    Structured and decorated cospan double categories for open systems have an exoskeleton/outer shell structure, and every object in them is a special symmetric Frobenius pseudomonoid.