Lumpability abstractions of rule-based systems

Theoretical Computer Science

Volumn 431, Issue , 2012, Pages 137-164

  Feret, Jerome ^a   Henzinger, Thomas ^b   Koeppl, Heinz ^c   Petrov, Tatjana ^c  

^a ECOLE NORMALE SUPÉRIEURE   (France)

^b INSTITUTE OF SCIENCE AND TECHNOLOGY AUSTRIA   (Austria)

^c ETH ZURICH   (Switzerland)

Author keywords

Abstraction; Bisimulation; Lumpability; Markov chains

Indexed keywords

ABSTRACTION; BISIMULATIONS; COMBINATORIAL COMPLEXITY; CONDITIONAL PROBABILITIES; DETERMINISTIC SEMANTICS; EPIDERMAL GROWTH FACTORS; LUMPABILITY; MARKOVIAN; MOLECULAR SPECIES; ORIGINAL SYSTEMS; POST-TRANSLATIONAL MODIFICATIONS; QUOTIENTING; REACHABLE SET; SIGNALING PATHWAYS; STOCHASTIC SEMANTICS; SUFFICIENT CONDITIONS; SYSTEMS BIOLOGY; THERMODYNAMIC LIMITS; TRANSIENT COMPLEXES; TRANSITION SYSTEM;

ABSTRACTING; EQUIVALENCE CLASSES; LARGE SCALE SYSTEMS; MARKOV PROCESSES; MATHEMATICAL MODELS; SEMANTICS;

AGGREGATES;

EID: 84859520794     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2011.12.059     Document Type: Article

References (39)

1. Christel Baier, Boudewijn Haverkort, Holger Hermanns, and Joost-Pieter Katoen Model-checking algorithms for continuous-time Markov chains IEEE Transactions on Software Engineering 29 7 2003:2003
2. Christel Baier, and Holger Hermanns Weak bisimulation for fully probabilistic processes CAV'97 1997 Springer Haifa, Israel 119 130 (Pubitemid 127088970)
3. Michael L. Blinov, James R. Faeder, and William S. Hlavacek BioNetGen: software for rule-based modeling of signal transduction based on the interactions of molecular domains Bioinformatics 20 2004 3289 3292
4. Peter Buchholz Exact and ordinary lumpability in finite Markov chains Journal of Applied Probability 31 1 1994 59 75
5. Peter Buchholz Bisimulation relations for weighted automata Theoretical Computer Science 393 1-3 2008 109 123
6. Ferdinanda Camporesi, Jérme Feret, Heinz Koeppl, and Tatjana Petrov Combining model reductions MFPS XXVI Electonic Notes in Theoretical Computer Science vol. 265 2010 Elsevier Ottawa, Canada 73 96
7. Holger Conzelmann, Dirk Fey, and Ernst D. Gilles Exact model reduction of combinatorial reaction BMC Systems Biology 2 78 2008 342 351
8. Vincent Danos, Jérme Feret, Walter Fontana, Russel Harmer, and Jean Krivine Rule-based modelling, symmetries, refinements FMSB'08 Lecture Notes in Bioinformatics vol. 5054 2008 Springer Cambridge, UK 103 122
9. Vincent Danos, Jérme Feret, Walter Fontana, and Jean Krivine Scalable simulation of cellular signaling networks, invited paper APLAS'07 Lecture Notes in Computer Science vol. 4807 2007 Springer Singapore 139 157
10. Vincent Danos, and Cosimo Laneve Core formal molecular biology Theoretical Computer Science 325 2003 69 110
11. Josée Desharnais, Richard Blute, Abbas Edalat, and Prakash Panagaden Bisimulation for labelled markov processes Information and Computation 1997 95 106
12. Laurent Doyen, Thomas A. Henzinger, and Jean-Francois Raskin Equivalence of labeled Markov chains International Journal of Foundations of Computer Science 19 3 2008 549 563
13. Jérme Feret Fragements-based model reduction: some case studies CS2Bio'10 Electonic Notes in Theoretical Computer Science vol. 265 2010 Elsevier Amsterdam, Netherlands 73 96
14. Jérme Feret, Vincent Danos, Jean Krivine, Russ Harmer, and Walter Fontana Internal coarse-graining of molecular systems Proceedings of the National Academy of Sciences of the United States of America 106 16 2009 6453 6458
15. Jérme Feret, Heinz Koeppl, Tatjana Petrov, Stochastic fragments: a framework for the exact reduction of the stochastic semantics of rule-based models, International Journal of Software and Informatics (in press).
16. Gnuplot. www.gnuplot.info.
17. Donald Gross, and Douglas R. Miller The randomization technique as a modeling tool and solution procedure for transient Markov processes Operations Research 32 2 1984 343 361 (Pubitemid 14585178)
18. Cato Maxilian Guldberg, and Peter Waage Concerning chemical affinity Erdmann's Journal fr Praktische Chemie 127 1879 69 114
19. Thomas A. Henzinger, Maria Mateescu, and Verena Wolf Sliding window abstraction for infinite Markov chains CAV'09 Lecture Notes in Computer Science vol. 5643 2009 Springer Grenoble, France 337 352
20. Holger Hermanns, Interactive Markov chains and the quest for quantified quality, Ph.D. Thesis, University of Marburg, 2002.
21. Jane Hillston A Compositional Approach to Performance Modelling 1996 Cambridge University Press New York, NY, USA
22. William S. Hlavacek, James R. Faeder, Michael L. Blinov, Alan S. Perelson, and Byron Goldstein The complexity of complexes in signal transduction Biotechnology Bioengineering 84 2005 783 794 (Pubitemid 38089694)
23. William S. Hlavacek, James R. Faeder, Michael L. Blinov, Richard G. Posner, Michael Hucka, and Walter Fontana Rules for modeling signal-transduction systems Science's STKE 2006 344 2006
24. John G. Kemeny, and James L. Snell Finite Markov Chains 1960 Van Nostrand
25. John G. Kemeny, James L. Snell, and Anthony W. Knapp Denumerable Markov Chains 1976 Springer-Verlag New York, NY, USA
26. Thomas G. Kurtz Limit theorems for sequences of jump Markov processes approximating ordinary differential processes Journal of Applied Probability 8 2 1971 344 356
27. Kim G. Larsen, and Arne Skou Bisimulation through probabilistic testing (preliminary report) POPL'89 1989 ACM New York, NY, USA 344 352
28. Maple. www.maplesoft.org.
29. Donald A. McQuarrie Stochastic approach to chemical kinetics Journal of Applied Probability 4 3 1967 413 478
30. Elaine Murphy, Vincent Danos, Jerome Feret, Russell Harmer, and Jean Krivine Rule based modelling and model refinement Elements of Computational Systems Biology 2009 Wiley
31. OpenKappa. www.kappalanguage.org.
32. Jianjun Paul, and D. Kannan Tian Lumpability and commutativity of Markov processes Stochastic Analysis and Applications 24 3 2006 685 702
33. Gerardo Rubino, and Bruno Sericola A finite characterization of weak lumpable Markov processes. Part I: the discrete time case Stochastic Processes and their Applications 38 1991 195 204
34. Gerardo Rubino, and Bruno Sericola A finite characterization of weak lumpable Markov Processes. Part II: the continuous time case Stochastic Processes and their Applications 45 1993 115 125
35. Walter Rudin Real and Complex Analysis 3rd ed. 1987 McGraw-Hill, Inc New York, NY, USA
36. Roger B. Sidje, Kevin Burrage, and Shev MacNamara Inexact uniformization method for computing transient distributions of Markov chains SIAM Journal on Scientific Computing 29 6 2007 2562 2580
37. Ana Sokolova, Erik P. de Vink, On relational properties of lumpability, in: PROGRESS'03, Utrecht, Netherlands, 2003, pp. 220-224.
38. Jeremy Sproston, Susanna Donatelli, Backward stochastic bisimulation in CSL model checking, in: QEST'04, Washington, DC, USA, 2004, pp. 220-229. (Pubitemid 40456778)
39. Christopher T. Walsh Posttranslation Modification of Proteins: Expanding Nature's Inventory 2006 Roberts and Co. Publisher