Error-correcting Petri nets

Natural Computing

Volumn 10, Issue 2, 2011, Pages 711-725

  Pagnoni, Anastasia ^a  

^a UNIVERSITY OF MILAN   (Italy)

Author keywords

Error correction; Linear code; Monitoring; Petri net; Reachability

Indexed keywords

ALGORITHM; CODING THEORY; CONFERENCE PAPER; ERROR; ERROR CORRECTION; LINEAR SYSTEM; MATHEMATICAL COMPUTING; MATHEMATICAL MODEL; MATHEMATICAL PHENOMENA; PETRI NET; STATISTICS; SYNTHETIC BIOLOGY;

EID: 79958048335     PISSN: 15677818     EISSN: 15729796     Source Type: Journal    
DOI: 10.1007/s11047-009-9150-z     Document Type: Conference Paper

References (9)

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