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

Conference item

Molecular programming is an emerging field concerned with building synthetic biomolecular computing devices at nanoscale, for example from DNA or RNA molecules. Many promising applications have been proposed, ranging from diagnostic biosensors and nanorobots to synthetic biology, but prohibitive complexity and imprecision of experimental observations makes reliability of molecular programs difficult to achieve. This paper advocates the development of design automation methodologies for molecu...

Expand abstract

Authors: Barbot, B; Kwiatkowska, M

• Publication status: Published
• Peer review status: Peer reviewed
• Host title: 36th International Conference on Application and Theory of Petri Nets and Concurrency
• Series: Lecture Notes in Computer Science
• Publication date: 2015-06-04
• Event location: Brussels
• DOI: 10.1007/978-3-319-19488-2_1
• Language: English