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

DOI10.1007/978-3-319-19488-2_1zbMath1432.68144OpenAlexW1910249277WikidataQ112268310 ScholiaQ112268310MaRDI QIDQ2941140

Marta Kwiatkowska, Benoît Barbot

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)

Related Items (2)

Chemical reaction network designs for asynchronous logic circuits ⋮ Petri-net-based 2D design of DNA walker circuits

Uses Software

• PRISM
• Bio-PEPA
• MARCIE
• SABRE

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A logic for reasoning about time and reliability
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Statistical probabilistic model checking with a focus on time-bounded properties
• Coupling and Importance Sampling for Statistical Model Checking
• Efficient CTMC Model Checking of Linear Real-Time Objectives
• Stochastic Model Checking
• Localized Hybridization Circuits
• Time-Bounded Verification of CTMCs against Real-Time Specifications
• DNA Walker Circuits: Computational Potential, Design, and Verification
• Computing Cumulative Rewards Using Fast Adaptive Uniformization
• A Semantics for Every GSPN
• On the Asymptotic Theory of Fixed-Width Sequential Confidence Intervals for the Mean
• Sequential Tests of Statistical Hypotheses

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