A Petri net view of covalent bonds
From MaRDI portal
Publication:2077408
DOI10.1016/j.tcs.2022.01.013OpenAlexW4205482574MaRDI QIDQ2077408
Claudio Antares Mezzina, Hernán Melgratti, G. Michele Pinna
Publication date: 21 February 2022
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2022.01.013
Related Items (1)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Reversibility in the higher-order \(\pi\)-calculus
- Catalytic and communicating Petri nets are Turing complete
- Verification of membrane systems with delays via Petri nets with delays
- Efficiently solving the bin packing problem through bio-inspired mobility
- Reversibility and asymmetric conflict in event structures
- Petri nets, event structures and domains. I
- Controlled reversibility in reaction systems
- Domain and event structure semantics for Petri nets with read and inhibitor arcs
- Formal molecular biology
- Contextual nets
- Mutual exclusion and reversibility in reaction systems
- Reversible computation in nature inspired rule-based systems
- Memory associated with membranes systems
- Modelling patterns of gene regulation in the bond-calculus
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Local time membrane systems and time Petri nets
- Reversing algebraic process calculi
- Reversible computation in nets with bonds
- A Simple Calculus for Proteins and Cells
- Computational Power of Protein Networks
- How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
- A Calculus for Local Reversibility
- A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
- Process algebra for synchronous communication
- Towards a Truly Concurrent Semantics for Reversible CCS
- Flow Unfolding of Multi-clock Nets
- A Compositional Semantics for the Reversible p-Calculus
- Expressivity in the κ Family
- CONCUR 2005 – Concurrency Theory
This page was built for publication: A Petri net view of covalent bonds
