A Petri net view of covalent bonds
type: Item
instance of: scholarly article
title: A Petri net view of covalent bonds
author: Hernan Melgratti
author: Claudio Antares Mezzina
author: G. Michele Pinna
published in: Theoretical Computer Science
publication date: 2022-02-21T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7477145
zbMATH Keywords: Petri nets
zbMATH Keywords: bonds
zbMATH Keywords: calculus of covalent bonding
zbMATH Keywords: natural computing
describes a project that uses: Bio-PEPA
MaRDI profile type: Publication
full work available at URL: j.tcs.2022.01.013
OpenAlex ID: W4205482574
cites work: Formal molecular biology
cites work: Bio-PEPA: A framework for the modelling and analysis of biological systems
cites work: A simple calculus for proteins and cells
cites work: Expressivity in the κ Family
cites work: Computational Power of Protein Networks
cites work: Modelling patterns of gene regulation in the bond-calculus
cites work: Reversing algebraic process calculi
cites work: CONCUR 2005 – Concurrency Theory
cites work: A Compositional Semantics for the Reversible p-Calculus
cites work: Reversibility in the higher-order \(\pi\)-calculus
cites work: A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway
cites work: Q5129948
cites work: Towards a Truly Concurrent Semantics for Reversible CCS
cites work: Reversible computation in nets with bonds
cites work: Memory associated with membranes systems
cites work: Controlled reversibility in reaction systems
cites work: Mutual exclusion and reversibility in reaction systems
cites work: Reversible computation in nature inspired rule-based systems
cites work: Efficiently solving the bin packing problem through bio-inspired mobility
cites work: Local time membrane systems and time Petri nets
cites work: Verification of membrane systems with delays via Petri nets with delays
cites work: Catalytic and communicating Petri nets are Turing complete
cites work: A Calculus for Local Reversibility
cites work: Process algebra for synchronous communication
cites work: Q5111193
cites work: Synchronization algebras with mobility for graph transformations
cites work: Contextual nets
cites work: Domain and event structure semantics for Petri nets with read and inhibitor arcs
cites work: Petri nets, event structures and domains. I
cites work: How Much Is Worth to Remember? A Taxonomy Based on Petri Nets Unfoldings
cites work: Flow Unfolding of Multi-clock Nets
cites work: Reversibility and asymmetric conflict in event structures
DOI: 10.1016/J.TCS.2022.01.013
description: scientific article; zbMATH DE number 7477145