Error-correcting Petri nets

Author: Pagnoni, Anastasia

Source: Natural Computing, Volume 10, Number 2, June 2011 , pp. 711-725(15)

Publisher: Springer

Buy & download fulltext article:

OR

Price: $47.00 plus tax (Refund Policy)

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.

Keywords: Error-correction; Linear code; Monitoring; Petri net; Reachability

Document Type: Research Article

DOI: http://dx.doi.org/10.1007/s11047-009-9150-z

Affiliations: Dipartimento di Informatica e Comunicazione, Università degli Studi di Milano, Milano, Italy, Email: anastasia.pagnoni@unimi.it

Publication date: June 1, 2011

Related content

Key

Free Content
Free content
New Content
New content
Open Access Content
Open access content
Subscribed Content
Subscribed content
Free Trial Content
Free trial content

Text size:

A | A | A | A
Share this item with others: These icons link to social bookmarking sites where readers can share and discover new web pages. print icon Print this page