Natural Computing

, Volume 10, Issue 2, pp 711–725 | Cite as

Error-correcting Petri nets

Article
First Online:
Received:
Accepted:

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

Petri net Reachability Error-correction Linear code Monitoring 
This is a preview of subscription content, log in to check access.

Notes

Acknowledgements

The author thanks collegue and friend Monika Heiner for the motivation to write this paper, and for her insightful revision of it. Theorem 5 benefitted from her intervention particularly. The Petri nets in this paper have been drawn with Snoopy 2.0, courtesy of the Brandenburg University of Technology. Our thanks also go to two anonimous referees, who helped us with useful suggestions and necessary corrections. This work has been financially supported by FIRST (Fondo Italiano per la Ricerca Scientifica e Technologica).

References

  1. Adámek J (1991) Foundations of coding. Wiley, Chichester-New YorkMATHGoogle Scholar
  2. de Lorenzo V et al (2006) Synthetic biology: challenges ahead. Bioinformatics 22(2):127–128Google Scholar
  3. Heinemann M, Panke S (2006) Synthetic biology—putting engineering into biology. Bioinformatics 22(22):2790–2799Google Scholar
  4. Mac Lane S, Birkoff G (1979) Algebra. MacMillan Publishing Co., Collier MacMillan Publishers, New York, LondonGoogle Scholar
  5. Mayr EV, Meyer AR (1981) The complexity of the final containment problem for Petri nets. J ACM, 3Google Scholar
  6. Pagnoni A (1996) Detecting and correcting operation errors in distributed systems. Bull Eur Assoc Theoret Comput Sci 58Google Scholar
  7. Rhee MY (1989) Error-correcting coding theory. McGraw-Hill, New YorkGoogle Scholar
  8. Reisig W, Rozenberg G (eds) (1989) Lectures on Petri nets I. Springer-Verlag, Berlin-HeidelbergGoogle Scholar
  9. van Lint JH (1992) Introduction to coding theory. Springer-Verlag, Berlin-HeidelbergMATHGoogle Scholar

Copyright information

© Springer Science+Business Media B.V. 2009

Authors and Affiliations

  1. 1.Dipartimento di Informatica e ComunicazioneUniversità degli Studi di MilanoMilanoItaly

Personalised recommendations