pith. sign in

arxiv: 1906.08669 · v1 · pith:IB76QNOYnew · submitted 2019-06-20 · 🧬 q-bio.CB

Petri-net modeling of B-cell receptor signaling pathways: A case study in CLL

Gajendra Pratap Singh , Madhuri Jha This is my paper

Pith reviewed 2026-05-25 19:28 UTC · model grok-4.3

classification 🧬 q-bio.CB
keywords Petri netsB-cell receptorsignaling pathwaysCLLantigen gatheringT-cell independentimmune system modelingtumor precursor selection
0
0 comments X

The pith

A Petri-net model represents B-cell receptor signaling for T-cell-independent antigen gathering and its link to CLL precursor selection.

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

The paper constructs a Petri-net model to capture the signaling pathways that let B-cells collect antigens on their own, without T-cell involvement, and to trace how those pathways affect the overall immune response. It further examines the B-cell receptor's role in choosing which cells become the starting point for tumors in chronic lymphocytic leukemia. By turning the complex, hard-to-see steps of receptor signaling into a formal network of places and transitions, the model makes the process easier to simulate and inspect. This computational view supports studying immune cell behavior separately from the full organism-level system.

Core claim

The authors designed a Petri-net model of the process of gathering antigens through B-cells independent of T-cell and the effect of that in the immune system of the organism, while also discussing the contribution of BCR in the selection of the precursor tumour cell in CLL.

What carries the argument

Petri-net model of B-cell receptor signaling pathways, representing places as molecular states and transitions as signaling events in antigen gathering.

If this is right

  • The model isolates T-cell-independent antigen collection as a distinct process that still shapes immune-system behavior.
  • BCR activity participates in selecting the cells that later become CLL tumor precursors.
  • Petri nets can be used to visualize and simulate downstream signaling from the B-cell receptor.
  • Such models provide a way to study cellular pathways that are difficult to observe directly in living organisms.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same Petri-net structure could be reused to test how specific mutations in CLL alter the antigen-gathering flow.
  • Linking this model to other immune-cell networks might reveal whether T-cell-independent routes dominate in certain disease states.
  • If the model proves stable, it could serve as a scaffold for adding quantitative rates drawn from future experiments.

Load-bearing premise

The Petri-net formalism can faithfully capture the dynamics of BCR signaling pathways without experimental validation or comparison to known biological outcomes.

What would settle it

Running the Petri-net simulation and then checking whether its predicted sequence and timing of B-cell activation events match direct laboratory measurements of BCR pathway activity would settle the model's accuracy.

Figures

Figures reproduced from arXiv: 1906.08669 by Gajendra Pratap Singh, Madhuri Jha.

Figure 1
Figure 1. Figure 1: B-cell receptor (BCR) 3.2 BCR Signaling pathways In this paper we specifically designed the model for B-cell activation independent to T-cell. B-cell generates plasma cell which secretes antibodies which protect the human body against the infections by binding the viruses and microbial toxins [15]. The magnitude and duration of BCR signaling are affected by the MAPK pathways, the P13K pathways, NFAT pathwa… view at source ↗
Figure 2
Figure 2. Figure 2: B-cell Signalling pathways 4. Methods [PITH_FULL_IMAGE:figures/full_fig_p002_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Forbidden structures 5. Modeling and Analysis While modeling any system we first analyze the key elements, events and their relationships within the pathways. These steps help us to model the places and transition accordingly. Modeling the B-cell receptor signaling pathways we represents the molecular activities or stable compounds as places while the metabolic enzymes or responses (binding, proliferation … view at source ↗
Figure 5
Figure 5. Figure 5: Property analysis with PIPE From [PITH_FULL_IMAGE:figures/full_fig_p004_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: Coverability graph In this coverability graph it has been validated that the four downstream pathways of BCR is independent from each other and originated from the same node i.e., B-cell receptor. 6. Role of BCR in CLL Chronic Leukemia is the cancer of leukocytes in which lots of partially developed white blood cells are present in blood which interfere the development and function of healthy blood cells a… view at source ↗
read the original abstract

Immunology is the emerging research area which deals with the study of the immune system in any living organism. It is modelled through various computational and mathematical models to deal with the problem facing while to boost the immune system of an organism or to fight with the infectious disease at the very initial stage. Such models are very important for a better understanding of the complex behaviour of pathways inside the cells. The signalling pathways between the cells are complex and difficult to visualize in the immune system of human beings. So, it's important to study the function of these cells separately. T-cells and B-cells are an important part of the immune system and both have their own receptors and their different signalling pathways by which they deal with any antigens. In this paper, we discuss the B-cell receptor and its different signalling pathways downstream of the BCR. We designed a Petri-net model of the process of gathering antigens through B-cells independent of T-cell and the effect of that in the immune system of the organism. We will also discuss the contribution of BCR in the selection of the precursor tumour cell in CLL.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 0 minor

Summary. The manuscript constructs a Petri-net model of B-cell receptor (BCR) signaling pathways, emphasizing T-cell-independent antigen gathering by B-cells and the contribution of BCR signaling to selection of precursor tumor cells in chronic lymphocytic leukemia (CLL). The model is assembled directly from known pathway components described in the literature.

Significance. A validated Petri-net representation of BCR dynamics could support formal analysis of signaling reachability and token flows in immunology and CLL research. The present work, however, supplies only the construction step with no reported model analysis, comparison to data, or novel predictions, limiting its immediate contribution.

major comments (2)
  1. [Abstract] Abstract: The central claim that the Petri-net 'models the process of gathering antigens through B-cells independent of T-cell' is unsupported because the manuscript provides no comparison of net properties (reachability, steady-state markings, or firing sequences) against published BCR phosphorylation kinetics, calcium flux measurements, or CLL cell phenotypes.
  2. [Abstract] Abstract: The assertion that the model addresses 'the contribution of BCR in the selection of the precursor tumour cell in CLL' reduces to a restatement of the input biological assumptions; no independent grounding, parameter fitting, or falsifiable output is shown.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and for identifying areas where the abstract claims exceed the scope of the presented work. The manuscript is a qualitative construction of a Petri net from literature components; we address the two major comments by agreeing that revisions are needed to align the abstract with the actual content.

read point-by-point responses

  1. Referee: [Abstract] Abstract: The central claim that the Petri-net 'models the process of gathering antigens through B-cells independent of T-cell' is unsupported because the manuscript provides no comparison of net properties (reachability, steady-state markings, or firing sequences) against published BCR phosphorylation kinetics, calcium flux measurements, or CLL cell phenotypes.

    Authors: We agree that the abstract phrasing implies a validated or quantitatively tested model, which is not the case. The net was assembled by mapping known molecular interactions (antigen binding, BCR clustering, downstream adapters) directly onto places and transitions without any reachability analysis, invariant computation, or matching to kinetic data. We will revise the abstract to state that the model is a structural representation of T-cell-independent antigen gathering pathways drawn from the literature, and we will add an explicit limitations paragraph noting the absence of formal analysis or experimental comparison. revision: yes

  2. Referee: [Abstract] Abstract: The assertion that the model addresses 'the contribution of BCR in the selection of the precursor tumour cell in CLL' reduces to a restatement of the input biological assumptions; no independent grounding, parameter fitting, or falsifiable output is shown.

    Authors: The CLL discussion in the manuscript simply incorporates published observations on BCR signaling in CLL precursors into the net topology. No new grounding, fitting, or falsifiable predictions are generated. We will revise the abstract and the CLL section to present this as an illustration of how the constructed net can embed existing biological hypotheses rather than as an analysis that addresses or tests the contribution of BCR to precursor selection. revision: yes

Circularity Check

0 steps flagged

No circularity: explicit model construction from external literature

full rationale

The manuscript presents a Petri-net model constructed from known BCR signaling pathways described in the immunology literature. No equations, fitted parameters, or claimed predictions are shown that reduce by construction to the model's own inputs or to self-citations. The central activity is model design and discussion of CLL relevance; this is self-contained as a modeling case study without load-bearing derivations that collapse to the inputs.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the assumption that standard Petri-net semantics apply directly to the biological process without additional parameters or entities.

axioms (1)
  • domain assumption BCR signaling pathways downstream of the receptor can be modeled as a Petri-net independent of T-cell help
    Explicitly stated in the abstract as the focus of the model.

pith-pipeline@v0.9.0 · 5721 in / 1095 out tokens · 35234 ms · 2026-05-25T19:28:16.628076+00:00 · methodology

discussion (0)

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

Reference graph

Works this paper leans on

33 extracted references · 33 canonical work pages

  1. [1]

    Cellular and molecular immunology

    Abbas, Abul K., Andrew HH Lichtman, and Shiv Pillai. Cellular and molecular immunology. Elsevier Health Sciences, 1994

    work page 1994

  2. [2]

    C. A. Janeway, P. Travers, M. Walport and M. Shlomchik, Immunobiology, Garland Publishers, 2001

    work page 2001

  3. [3]

    K.: Towards a network theory of the immune system

    Jerne N. K.: Towards a network theory of the immune system. Ann. Immunol. (Inst. Pasteur) 125C, 373-389 (1974)

    work page 1974

  4. [4]

    B cell development in the spleen takes place in discrete steps and is determined by the quality of B cell receptor–derived signals

    Loder, Florienne, et al. "B cell development in the spleen takes place in discrete steps and is determined by the quality of B cell receptor–derived signals." Journal of Experimental Medicine 190.1 (1999): 75-90

    work page 1999

  5. [5]

    miR -150, a microRNA expressed in mature B and T cells, blocks early B cell development when expressed prematurely

    Zhou, Beiyan, et al. "miR -150, a microRNA expressed in mature B and T cells, blocks early B cell development when expressed prematurely." Proceedings of the National Academy of Sciences 104.17 (2007): 7080-7085

    work page 2007

  6. [6]

    Chronic active B-cell-receptor signalling in diffuse large B -cell lymphoma

    Davis, R. Eric, et al. "Chronic active B-cell-receptor signalling in diffuse large B -cell lymphoma." Nature 463.7277 (2010): 88

    work page 2010

  7. [7]

    PROPERTIES OF PETRI NETS

    Merceron, Agathe. "PROPERTIES OF PETRI NETS." Computer Science 2: Research and Applications (2013): 439

    work page 2013

  8. [8]

    Steady state analysis of metabolic pathways using Petri nets,

    K. Voss, M. Heiner & I. Koch, “Steady state analysis of metabolic pathways using Petri nets,” In Silico Biology 3(3), pp. 367- 87, 2003

    work page 2003

  9. [9]

    Petri net modelling of biological networks

    Chaouiya, Claudine. "Petri net modelling of biological networks." Briefings in bioinformatics 8.4 (2007): 210-219

    work page 2007

  10. [10]

    Snoopy- a unifying petri net tool

    M. Heiner, M. Herajy, F. Liu, C. Rohr, M. Schwarick, "Snoopy- a unifying petri net tool" in Application and Theory of Petri Nets, Springer, pp. 398-407, 2012

    work page 2012

  11. [11]

    Model validation of biological pathways using Petri nets —demonstrated for apoptosis,

    M. Heiner, I. Koch and J. Will, “Model validation of biological pathways using Petri nets —demonstrated for apoptosis,” Biosystems 75(1-3), pp.15-28, 2004

    work page 2004

  12. [12]

    Identification of stromal cell products that interact with pre-B cells

    Oritani K, Kincade PW. Identification of stromal cell products that interact with pre-B cells. J Cell Biol. 1996;134:771–782

    work page 1996

  13. [13]

    Dal Porto JM, Gauld SB, Merrell KT, Mills D, Pugh -Bernard AE, Cambier J (2004) B cell antigen receptor signaling 101. Mol. Immunol. 41(6-7), 599–613

    work page 2004

  14. [14]

    Revising B cell receptors

    Nemazee, David, and Martin Weigert. "Revising B cell receptors." Journal of Experimental Medicine 191.11 (2000): 1813- 1818

    work page 2000

  15. [15]

    Immunoglobulin heavy and light chain genes rearrange independently at early s tages of B cell development

    Ehlich, Andreas, et al. "Immunoglobulin heavy and light chain genes rearrange independently at early s tages of B cell development." Cell 72.5 (1993): 695-704

    work page 1993

  16. [16]

    Szydłowski M, Jabłońska E, Juszczyński P (2014) FOXO1 transcription factor: a critical effector of the PI3K-AKT axis in B- cell development. Int. Rev. Immunol. 33(2), 146–57

    work page 2014

  17. [17]

    Kansal, S., Singh, G.P., Acharya, M. 2011. 1 -Safe Petri nets generating every binary n -vector exactly once, Scientiae Math- ematicae Japonicae, 74,(1), 29-36, e-2011, 127-134

    work page 2011

  18. [18]

    J. L. Peterson, Petri Net Theory and the Modeling of Systems, Prentice Hall, 1981

    work page 1981

  19. [19]

    Petri nets: Properties, analysis and applications

    Murata, Tadao. "Petri nets: Properties, analysis and applications." Proceedings of the IEEE 77.4 (1989): 541-580

    work page 1989

  20. [20]

    Petri nets and industrial applications: A tutorial

    Zurawski, Richard, and MengChu Zhou. "Petri nets and industrial applications: A tutorial." IEEE Transactions on industrial electronics 41.6 (1994): 567-583

    work page 1994

  21. [21]

    On liveness and controlled siphons in Petri nets

    Barkaoui, Kamel, and Jean-François Pradat-Peyre. "On liveness and controlled siphons in Petri nets." International Conference on Application and Theory of Petri Nets. Springer, Berlin, Heidelberg, 1996

    work page 1996

  22. [22]

    Structure theory of Petri nets: the free choice hiatus

    Best, Eike. "Structure theory of Petri nets: the free choice hiatus." Advanced Course on Petri Nets . Springer, Berlin, Heidelberg, 1986

    work page 1986

  23. [23]

    MAP kinase pathways

    Cobb, Melanie H. "MAP kinase pathways." Progress in biophysics and molecular biology 71.3-4 (1999): 479-500

    work page 1999

  24. [24]

    Activation and signaling of the p38 MAP kinase pathway

    Zarubin, Tyler, and H. A. N. Jiahuai. "Activation and signaling of the p38 MAP kinase pathway." Cell research 15.1 (2005): 11

    work page 2005

  25. [25]

    The MAPK signaling cascade

    Seger, Rony, and Edwin G. Krebs. "The MAPK signaling cascade." The FASEB journal 9.9 (1995): 726-735

    work page 1995

  26. [26]

    PIPE v2. 5: A Petri net tool for performance modelling

    Bonet, Pere, et al. "PIPE v2. 5: A Petri net tool for performance modelling." Proc. 23rd Latin American Conference on Informatics (CLEI 2007). 2007

    work page 2007

  27. [27]

    Chronic myeloid leukemia

    Melo, Junia V., Timothy P. Hughes, and Jane F. Apperley. "Chronic myeloid leukemia." ASH Education Program Book2003.1 (2003): 132-152

    work page 2003

  28. [28]

    Hallek M, Cheson BD, Catovsky D, et al. Guidelines for the diagnosis and treatment of chronic lymphocytic leukemia: a report from the International Workshop on Chronic Lymphocytic Leukemia updating the National Cancer Institute -Working Group 1996 guidelines. Blood. 2008;111(12): 5446–5456

    work page 1996

  29. [29]

    Distinct types of diffuse large B -cell lymphoma identified by gene expression profiling

    Alizadeh, Ash A., et al. "Distinct types of diffuse large B -cell lymphoma identified by gene expression profiling." Nature403.6769 (2000): 503

    work page 2000

  30. [30]

    Targeting PI3K signalling in cancer: opportunitie s, challenges and limitations

    Engelman JA. Targeting PI3K signalling in cancer: opportunitie s, challenges and limitations. Nat Rev Cancer. 2009;9:550– 562

    work page 2009

  31. [31]

    Blockade of the MAP kinase pathway suppresses growth of colon tumors in vivo

    Sebolt-Leopold, Judith S., et al. "Blockade of the MAP kinase pathway suppresses growth of colon tumors in vivo." Nature medicine 5.7 (1999): 810

    work page 1999

  32. [32]

    Transcriptional control of early B cell development

    Busslinger, Meinrad. "Transcriptional control of early B cell development." Annu. Rev. Immunol. 22 (2004): 55-79

    work page 2004

  33. [33]

    Atefi, M., Avramis, E., Lassen, A., Wong, D.J., Robert, L., Foulad, D., Cerniglia, M., Titz, B., Chodon, T., Graeber, T.G., e t al. (2014). Effects of MAPK and PI3K pathways on PD-L1 expression in melanoma. Clin. Cancer Res. 20, 3446–3457. Abbreviations : CD79A, CD97B: hetrodimers important in signaling component, SYK: spleen tyrosine kinase, SFK: SRC fam...

    work page 2014