On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

DOI10.1007/978-3-319-19488-2_1MaRDI QIDQ2941140zbMATH OpenOpenAlexWikidataFDO

Authors Benoît Barbot, Marta Kwiatkowska

Publication date 27 August 2015

Published in Application and Theory of Petri Nets and Concurrency (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-19488-2_1

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Recommendations

• Petri-net-based 2D design of DNA walker circuits
• DNA Walker Circuits: Computational Potential, Design, and Verification
• DNA walker circuits: computational potential, design, and verification
• scientific article; zbMATH DE number 5510507
• Modular verification of DNA strand displacement networks via serializability analysis
• Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication
• Quantitative evaluation of time-dependent Petri nets and applications to biochemical networks
• Deterministic and stochastic simulations of simple genetic circuits
• Applications of an expressive statistical model checking approach to the analysis of genetic circuits

Cites work

• scientific article; zbMATH DE number 1361121 (Why is no real title available?)
• scientific article; zbMATH DE number 763717 (Why is no real title available?)
• A logic for reasoning about time and reliability
• A semantics for every GSPN
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Computing cumulative rewards using fast adaptive uniformization
• Coupling and importance sampling for statistical model checking
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Efficient CTMC Model Checking of Linear Real-Time Objectives
• Localized hybridization circuits
• On the Asymptotic Theory of Fixed-Width Sequential Confidence Intervals for the Mean
• Petri nets. Fundamental models, verification and applications.
• Sequential Tests of Statistical Hypotheses
• Statistical probabilistic model checking with a focus on time-bounded properties
• Stochastic model checking
• Time-Bounded Verification of CTMCs against Real-Time Specifications

Cited in

(6)

• DNA walker circuits: computational potential, design, and verification
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Abstract modelling of tethered DNA circuits
• Chemical reaction network designs for asynchronous logic circuits
• scientific article; zbMATH DE number 5510507 (Why is no real title available?)
• Petri-net-based 2D design of DNA walker circuits

Describes a project that uses

Uses Software

• SABRE
• MARCIE
• Bio-PEPA
• PRISM

This page was built for publication: On Quantitative Modelling and Verification of DNA Walker Circuits Using Stochastic Petri Nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2941140)