Error-correcting Petri nets
Author: Pagnoni, Anastasia
Source: Natural Computing, Volume 10, Number 2, June 2011 , pp. 711-725(15)
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.
Document Type: Research Article
Affiliations: Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, Milano, Italy, Email: email@example.com
Publication date: June 1, 2011