Petri-net-based 2D design of DNA walker circuits

DOI10.1007/S11047-018-9671-4zbMath1528.68118DBLPjournals/nc/GilbertHR18OpenAlexW2793256437WikidataQ51556385 ScholiaQ51556385MaRDI QIDQ6084212

David Gilbert, Monika Heiner, Christian Rohr

Publication date: 30 November 2023

Published in: Natural Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11047-018-9671-4

zbMATH Keywords

stochastic Petri netsstructural analysiscoloured Petri netsstochastic analysisqualitative analysisdesign assessmentsimulative model checkingDNA walker systemsleakage transitions

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Networks and circuits as models of computation; circuit complexity (68Q06) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Cites Work

• Theoretical computer science. Petri nets.
• DNA walker circuits: computational potential, design, and verification
• On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets
• Charlie – An Extensible Petri Net Analysis Tool
• Stochastic Model Checking
• Extended Stochastic Petri Nets for Model-Based Design of Wetlab Experiments
• Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology
• Unnamed Item
• Unnamed Item

This page was built for publication: Petri-net-based 2D design of DNA walker circuits