Algebraic properties of automata associated to Petri nets and applications to computation in biological systems

A. Egri-Nagy, C.L. Nehaniv

    Research output: Contribution to journalArticlepeer-review

    11 Citations (Scopus)
    102 Downloads (Pure)

    Abstract

    Biochemical and genetic regulatory networks are often modeled by Petri nets. We study the algebraic structure of the computations carried out by Petri nets from the viewpoint of algebraic automata theory. Petri nets comprise a formalized graphical modelling language, often used to describe computation occurring within biochemical and genetic regulatory networks, but the semantics may be interpreted in different ways in the realm of automata. Therefore there are several different ways to turn a Petri net into a state-transition automaton. Here we systematically investigate different conversion methods and describe cases where they may yield radically different algebraic structures.We focus on the existence of group components of the corresponding transformation semigroups, as these reflect symmetries of the computation occurring within the biological system under study. Results are illustrated by applications to the Petri net modelling of intermediary metabolism. Petri nets with inhibition are shown to be computationally rich, regardless of the particular interpretation method. Along these lines we provide a mathematical argument suggesting a reason for the apparent all-pervasiveness of inhibitory connections in living systems.
    Original languageEnglish
    Pages (from-to)135-144
    JournalBiosystems
    Volume94
    Issue number1-2
    DOIs
    Publication statusPublished - 2008

    Fingerprint

    Dive into the research topics of 'Algebraic properties of automata associated to Petri nets and applications to computation in biological systems'. Together they form a unique fingerprint.

    Cite this