Applications and Theory of Petri Nets 2004

Several notions of non-interference have been proposed in the literature to study the problem of confidentiality in concurrent systems. The common feature of these non-interference properties is that they are all defined as extensional properties based on some notion of behavioural equivalence on systems. Here we also address the problem of defining non-interference by looking at the structure of the net systems under investigation. We define structural non-interference properties based on the absence of particular places in the net. We characterize a structural property, called PBNI+, that is equivalent to the well-known behavioural property SBNDC. We start providing a characterization of PBNI+on contact-free Elementary Net Systems, then we extend the definition to cope with the richer class of Trace nets.

[1]  Hidde de Jong,et al.  Modeling and Simulation of Genetic Regulatory Systems: A Literature Review , 2002, J. Comput. Biol..

[2]  M. Savageau.  Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.

[3]  Denis Thieffry,et al.  A description of dynamical graphs associated to elementary regulatory circuits , 2003, ECCB.

[4]  A. V. Zeigarnik.  A GRAPH-THEORETICAL MODEL OF COMPLEX REACTION MECHANISMS : SPECIAL GRAPHS FOR CHARACTERIZATION OF THE LINKAGE BETWEEN THE ROUTES IN COMPLEX REACTIONS HAVING LINEAR MECHANISMS , 1994 .

[5]  Juan Carlos Nuño,et al.  METATOOL: for studying metabolic networks , 1999, Bioinform..

[6]  S. Schuster,et al.  Determining Elementary Modes of Functioning in Biochemical Reaction Networks at Steady State , 1996 .

[7]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[8]  Atsushi Doi,et al.  Biopathways representation and simulation on hybrid functional Petri net , 2003, Silico Biol..

[9]  P J Goss,et al.  Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. , 1998, Proceedings of the National Academy of Sciences of the United States of America.

[10]  L. Glass,et al.  The logical analysis of continuous, non-linear biochemical control networks. , 1973, Journal of theoretical biology.

[11]  Marco Ajmone Marsan,et al.  Modelling with Generalized Stochastic Petri Nets , 1995, PERV.

[12]  R. Thomas,et al.  Boolean formalization of genetic control circuits. , 1973, Journal of theoretical biology.

[13]  Monika Heiner,et al.  Steady state analysis of metabolic pathways using Petri nets , 2003, Silico Biol..

[14]  Wolfgang Reisig,et al.  Petri Nets , 1985, EATCS Monographs on Theoretical Computer Science.

[15]  P Mendes,et al.  Biochemistry by numbers: simulation of biochemical pathways with Gepasi 3. , 1997, Trends in biochemical sciences.

[16]  Savageau Ma,et al.  Reconstructionist molecular biology. , 1991 .

[17]  Terry Gaasterland,et al.  The metabolic pathway collection from EMP: the enzymes and metabolic pathways database , 1996, Nucleic Acids Res..

[18]  Xin Chen,et al.  The TRANSFAC system on gene expression regulation , 2001, Nucleic Acids Res..

[19]  E. Coen,et al.  The war of the whorls: genetic interactions controlling flower development , 1991, Nature.

[20]  Thomas Lengauer,et al.  Pathway analysis in metabolic databases via differetial metabolic display (DMD) , 2000, German Conference on Bioinformatics.

[21]  D. Thieffry,et al.  Dynamical behaviour of biological regulatory networks—I. Biological role of feedback loops and practical use of the concept of the loop-characteristic state , 1995 .

[22]  Evgeni Selkov,et al.  MPW: the Metabolic Pathways Database , 1998, Nucleic Acids Res..

[23]  Kathy Chen,et al.  Network dynamics and cell physiology , 2001, Nature Reviews Molecular Cell Biology.

[24]  Thomas Pfeiffer,et al.  Structural Analysis of Metabolic Networks: Elementary Flux Modes, Analogy to Petri Nets, and Application to Mycoplasma Pneumoniae , 2000, German Conference on Bioinformatics.

[25]  Ioannis Xenarios,et al.  DIP: the Database of Interacting Proteins , 2000, Nucleic Acids Res..

[26]  Wolfgang Reisig.  Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.

[27]  R Hofestädt,et al.  Quantitative modeling of biochemical networks , 1998, Silico Biol..

[28]  V. N. Reddy,et al.  Qualitative analysis of biochemical reaction systems , 1996, Comput. Biol. Medicine.

[29]  M. Heiner,et al.  Petri nets in biology, chemistry, and medicine : bibliography , 2002 .

[30]  Yadati Narahari,et al.  Discrete event simulation of distributed systems using stochastic Petri nets , 1989, Fourth IEEE Region 10 International Conference TENCON.

[31]  Michael L. Mavrovouniotis,et al.  Petri Net Representations in Metabolic Pathways , 1993, ISMB.

[32]  Denis Thieffry,et al.  Qualitative Analysis of Regulatory Graphs: A Computational Tool Based on a Discrete Formal Framework , 2003, POSTA.

[33]  M. Savageau.  Biochemical systems analysis. II. The steady-state solutions for an n-pool system using a power-law approximation. , 1969, Journal of theoretical biology.

[34]  Denis Thieffry,et al.  Genetic control of flower morphogenesis in Arabidopsis thaliana: a logical analysis , 1999, Bioinform..