Cover Image

Unifying Weak Independence and Signal Hierarchy Theory: Extended Biological Petri Net Formalism with Application to Vibrio fischeri Quorum Sensing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Simao, Eugenio
Format:	Preprint
Published:	2025
Subjects:	Molecular Networks Quantitative Methods 92C42, 92B05, 68Q10, 68Q55, 68Q85 F.4.1; F.1.2; J.3
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On Woolhouse's Cotton-Spinning Problem
by: Groote, Jan Friso, et al.
Published: (2024)

Thermodynamic Constraints Drive Hierarchical Preemption in Cellular Decision-Making: A Hybrid Petri Net Framework with Application to Bacillus subtilis Sporulation
by: Simao, Eugenio
Published: (2026)

Red-Blue Pebbling with Multiple Processors: Time, Communication and Memory Trade-offs
by: Böhnlein, Toni, et al.
Published: (2024)

Current-State Opacity in Safe Partially Observed Quantum Petri Nets: True-Concurrency Semantics and Exact Symbolic Verification
by: Ding, Sichen, et al.
Published: (2026)

Simulating and model checking membrane systems using strategies in Maude
by: Rubio, Rubén, et al.
Published: (2024)

Propositional dynamic logic and asynchronous cascade decompositions for regular trace languages
by: Adsul, Bharat, et al.
Published: (2024)

Decidable Reversible Equivalences for Finite Petri Nets
by: Gorrieri, Roberto, et al.
Published: (2025)

$Δ$-Nets: Interaction-Based System for Optimal Parallel $λ$-Reduction
by: Salvadori, Daniel Augusto Rizzi
Published: (2025)

Constraint Satisfaction Problems over Finitely Bounded Homogeneous Structures: a Dichotomy between FO and L-hard
by: Dorochko, Leonid, et al.
Published: (2026)

The Algebra of Nondeterministic Finite Automata
by: Gorrieri, Roberto
Published: (2023)

Place Bisimilarity is Decidable, Indeed!
by: Gorrieri, Roberto
Published: (2021)

Behavioural Conformances based on Lax Couplings
by: Wild, Paul, et al.
Published: (2025)

Conformance Games for Graded Semantics
by: Forster, Jonas, et al.
Published: (2024)

Complexity of Sequence-to-Graph Alignment with Co-Linear Chaining
by: Li, Xingfu
Published: (2026)

The equational theory of the Weihrauch lattice with (iterated) composition
by: Pradic, Cécilia
Published: (2024)

Dual-Model Framework for CHIKV Transmission Modeling: ODE and Petri Net Analysis of the 2025 Foshan Outbreak
by: Liu, Hong, et al.
Published: (2025)

Smaller Depth-2 Linear Circuits for Disjointness Matrices
by: Ye, Lixi
Published: (2026)

Near-Optimal Bootstrapping of Hitting Sets for Algebraic Models
by: Kumar, Mrinal, et al.
Published: (2018)

Insignificant Choice Polynomial Time: A Logic Capturing PTIME
by: Schewe, Klaus-Dieter
Published: (2020)

A Formalization of Co-Transcriptional Splicing as an Operation on Formal Languages
by: Cho, Da-Jung, et al.
Published: (2025)

Psi-Turing Machines: Bounded Introspection for Complexity Barriers and Oracle Separations
by: Huseynzade, Rafig
Published: (2025)

The Complexity of Iterated Reversible Computation
by: Eppstein, David
Published: (2021)

Computing Distinguishing Formulae for Threshold-Based Behavioural Distances
by: Forster, Jonas, et al.
Published: (2026)

Completeness classes in algebraic complexity theory
by: Bürgisser, Peter
Published: (2024)

RotorMap and Quantum Fingerprints of DNA Sequences via Rotary Position Embeddings
by: Yakymenko, Danylo, et al.
Published: (2026)

Decision Problems on Copying and Shuffling
by: Halava, Vesa, et al.
Published: (2023)

Extended Nullstellensatz proof systems
by: Krajicek, Jan
Published: (2023)

Graded Monad Coalgebras for Continuous-Time Transition Systems
by: Di Lavore, Elena, et al.
Published: (2026)

A Logspace Constructive Proof of L=SL
by: Buss, Sam, et al.
Published: (2025)

Arithmetics within the Linear Time Hierarchy
by: Pollett, Chris
Published: (2025)

Model-Checking for First-Order Logic with Disjoint Paths Predicates in Proper Minor-Closed Graph Classes
by: Golovach, Petr A., et al.
Published: (2022)

The Solver's Paradox in Formal Problem Spaces
by: Rosko, Milan
Published: (2025)

Dependence and Independence for Reversible Process Calculi
by: Aubert, Clément, et al.
Published: (2024)

The Impact of Partial Computations on the Red-Blue Pebble Game
by: Papp, Pál András, et al.
Published: (2025)

Strategies, model checking and branching-time properties in Maude
by: Rubio, Rubén, et al.
Published: (2024)

Model checking strategy-controlled systems in rewriting logic
by: Rubio, Rubén, et al.
Published: (2024)

Metalevel transformation of strategies
by: Rubio, Rubén, et al.
Published: (2024)

Polynomial-Time Solutions for Longest Common Subsequence Related Problems Between a Sequence and a Pangenome Graph
by: Li, Xingfu, et al.
Published: (2026)

Leakage-Resilient Hardness Equivalence to Logspace Derandomization
by: Shalunov, Yakov
Published: (2023)

$\mathbb{N}$-polyregular functions arise from well-quasi-orderings
by: Lopez, Aliaume
Published: (2024)