Error-correcting Petri nets

Authors:
Anastasia Pagnoni
Affiliations:
Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, Milano, Italy
Venue:
Natural Computing: an international journal
Year:
2011

Citing 4
Cited 1

Error-correcting coding theory

Error-correcting coding theory
The Complexity of the Finite Containment Problem for Petri Nets

Journal of the ACM (JACM)
Synthetic Biology: challenges ahead

Bioinformatics
Synthetic biology---putting engineering into biology

Bioinformatics

How might petri nets enhance your systems biology toolkit

PETRI NETS'11 Proceedings of the 32nd international conference on Applications and theory of Petri Nets

Quantified Score

Hi-index	0.00

Visualization

Abstract

The paper introduces error-correcting Petri nets, an algebraic methodology for designing synthetic biologic systems with monitoring capabilities. Linear error-correcting codes are used to extend the net's structure in a way that allows for the algebraic detection and correction of non-reachable net markings. The presented methodology is based on modulo-p Hamming codes--which are optimal for the modulo-p correction of single errors--but also works with any other linear error-correcting code.