An Open Petri Net Implementation of Gene Regulatory Networks

Yanying Wu

An Open Petri Net Implementation of Gene Regulatory Networks

T0 review · 2 major / 0 minor · reviewed 2026-05-24 · grok-4.3

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

Pith's one-line read Open Petri nets add composability to models of gene regulatory networks.

desk verdict This is a one-paragraph proposal suggesting open Petri nets for GRNs but with no model, example, or technical content to assess. read the letter →

arxiv 1907.11316 v1 pith:64SARDKC submitted 2019-07-25 q-bio.MN math.CT

Yanying Wu This is my paper

classification q-bio.MNmath.CT

keywords generegulatorynetworkPetrinetopensystemsbiologymodelingcomposability

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper applies open Petri nets to gene regulatory networks as a way to gain abstraction and the ability to compose smaller models into larger ones. Standard Petri nets have already been used for GRNs, but the open version brings category-theoretic structure that supports modular assembly. A sympathetic reader would care because GRNs sit at the center of systems biology, and better ways to scale models could help study complex biological processes without building everything from scratch each time. The work presents this as an initial exploration rather than a complete solution.

What carries the argument

Open Petri net, a version of Petri net equipped with category-theoretic structure that supplies abstraction and composability for network models.

What would settle it

A concrete check that two small, well-understood GRN models, when combined via open Petri net composition, produce dynamics that disagree with the known behavior of the merged network.

Watch

Extended reading notes

Core claim

Treating gene regulatory networks as open Petri nets endows them with abstraction and composability, so that large-scale GRNs can be assembled from smaller component networks while retaining the structure needed for analysis and simulation.

Load-bearing premise

The abstraction and composability properties of open Petri nets will transfer to gene regulatory networks without losing essential biological interactions.

Editorial extensions

If this is right

Large GRNs become feasible to construct by combining smaller verified pieces rather than writing one monolithic model.
Analysis techniques developed for open Petri nets can be applied directly to the resulting GRN models.
Modular updates to one part of a GRN can be made without rebuilding the entire network representation.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The same composable approach could be tested on other biological networks such as signaling pathways.
If the method scales, biologists might use existing open Petri net software libraries to prototype GRN models interactively.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Desk Editor's Note

read the letter

The paper's core point is that open Petri nets, with their categorical composability, might help build large gene regulatory network models, and the authors label their own contribution a shallow exploratory step. That framing is accurate and keeps expectations in check. It correctly notes earlier Petri net work in biology and recent categorical advances in Petri nets themselves. Beyond that, there is nothing new: no mapping of open Petri net structure to gene regulation, no small example network, no equations, and no discussion of how composition would actually work in this domain. The text is essentially the abstract. The weakest part is the absence of any concrete work that would let a reader judge whether the abstraction transfers usefully or brings real modularity gains. Without that, the suggestion stays at the level of an idea sketch. This is for readers already deep in categorical methods for systems biology who might want to see the direction named, but most will find little to use or build on. I would not bring it to a reading group or cite it. It does not have enough substance to merit peer review in its present form.

Referee Report

2 major / 0 minor

Summary. The manuscript proposes treating gene regulatory networks (GRNs) with open Petri nets that incorporate category-theoretic structure for abstraction and composability. It asserts that this may potentially facilitate modeling of large-scale GRNs and states that the work takes only a shallow step in that direction.

Significance. If a concrete, composable open-Petri-net encoding of even a modest GRN were supplied and shown to scale or compose modularly, the approach could offer a new route to hierarchical biological network models. The manuscript, however, contains no such encoding, no equations, no example, and no validation, so the significance remains entirely prospective.

major comments (2)

[Abstract] Abstract: the central claim that open Petri nets 'may potentially facilitate the modeling of large scale GRNs' is presented without any GRN-specific open Petri net, composition diagram, or even a single transition or place definition; because the manuscript supplies no artifact whose correctness could be checked, the claim cannot be evaluated.
[Title / Abstract] Title and abstract: the title announces 'An Open Petri Net Implementation,' yet the text explicitly characterizes the contribution as 'a shallow step' with no accompanying model, code, or benchmark; this mismatch is load-bearing for any assessment of whether an implementation has been delivered.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the detailed and constructive comments. We agree that the manuscript is an initial conceptual exploration rather than a concrete implementation, and that the title and abstract create a misleading impression. We will revise both to accurately reflect the preliminary nature of the work.

read point-by-point responses

Referee: [Abstract] Abstract: the central claim that open Petri nets 'may potentially facilitate the modeling of large scale GRNs' is presented without any GRN-specific open Petri net, composition diagram, or even a single transition or place definition; because the manuscript supplies no artifact whose correctness could be checked, the claim cannot be evaluated.

Authors: We agree with this assessment. The manuscript explicitly describes its contribution as 'a shallow step' and supplies no concrete GRN encoding, diagram, or example. The claim about potential facilitation of large-scale modeling is therefore prospective and cannot be evaluated from the current text. We will revise the abstract to remove or substantially qualify this claim and to emphasize that the work is an initial exploration of the idea without providing an implemented model. revision: yes
Referee: [Title / Abstract] Title and abstract: the title announces 'An Open Petri Net Implementation,' yet the text explicitly characterizes the contribution as 'a shallow step' with no accompanying model, code, or benchmark; this mismatch is load-bearing for any assessment of whether an implementation has been delivered.

Authors: The referee is correct that the title is inconsistent with the manuscript content. The title implies delivery of an implementation, while the text states only a shallow exploratory step with no model or benchmark. We will change the title to better reflect the actual contribution, for example to 'An Initial Exploration of Open Petri Nets for Gene Regulatory Networks' or an equivalent phrasing that avoids suggesting a completed implementation. revision: yes

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The manuscript is framed explicitly as an exploratory proposal that takes only a shallow step toward applying open Petri nets to GRNs. Its central statement is the cautious claim that the approach 'may potentially facilitate' large-scale modeling, with no equations, fitted parameters, predictions, derivations, or load-bearing self-citations present. No step reduces by construction to its inputs, and the text contains no mathematical content that could exhibit the enumerated circularity patterns.

Assumptions & free parameters 0 free parameters · 1 assumptions · 0 invented entities

Review is based solely on the abstract; no free parameters, specific axioms beyond the general claim about category theory, or invented entities are described.

assumptions (1)

domain assumption Petri net theory combined with category theory endows Petri nets with abstraction and composability.
Invoked in the abstract as the foundation for open Petri nets and their potential use in GRN.

how reviews work

0 comments

Cite this review

Pith. "Pith review of An Open Petri Net Implementation of Gene Regulatory Networks." pith.science (2026). https://pith.science/paper/64SARDKC

@misc{pith2026190711316,
  author       = {Pith},
  title        = {Pith review of: An Open Petri Net Implementation of Gene Regulatory Networks},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/64SARDKC}},
  note         = {Machine review of arXiv:1907.11316}
}

read the original abstract

Gene regulatory network (GRN) plays a central role in system biology and genomics. It provides a promising way to model and study complex biological processes. Several computational methods have been developed for the construction and analysis of GRN. In particular, Petri net and its variants were introduced for GRN years ago. On the other hand, Petri net theory itself has been rapidly advanced recently. Especially noteworthy is the combination or treatment of Petri net with the mathematical framework of category theory (categorization), which endows Petri net with the power of abstraction and composability. Open Petri net is a state-of-art implementation of such "categorized" Petri nets. Applying open Petri net to GRN may potentially facilitate the modeling of large scale GRNs. In this manuscript, we took a shallow step towards that direction.

Discussion (0). Sign in to comment.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Applying open Petri net to GRN may potentially facilitate the modeling of large scale GRNs. ... we took a shallow step towards that direction.
IndisputableMonolith/Foundation/ArithmeticFromLogic.lean LogicNat recovery theorem unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Open(Petri) ... symmetric monoidal double category ... horizontal composition between open Petri nets

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Pith tools

Reviewed May 24, 2026 · model on record in the stance chip above.