Equilibrium and termination II: The case of Petri nets

Mathematical Structures in Computer Science

Volumn 23, Issue 2, 2013, Pages 290-307

  Danos, Vincent ^a   Oury, Nicolas ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC CRITERIA; ASYMPTOTIC PROPERTIES; DETAILED BALANCE; FREE ENERGY FUNCTION; INTERNAL ENERGIES; MASS ACTION; REACTION NETWORK; TERMINATION II;

ENTROPY; SEMANTICS; THERMODYNAMICS;

PETRI NETS;

EID: 84877970661     PISSN: 09601295     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0960129512000126     Document Type: Conference Paper

References (35)

1. Anderson, D. F., Craciun, G. and Kurtz, T. G. (2010) Product-form stationary distributions for deficiency zero chemical reaction networks. Bulletin of Mathematical Biology 72 (8) 1947-1970.
2. Bacci, G., Danos, V. and Kammar, O. (2011) On the statistical thermodynamics of reversible communicating processes. In: Corradini, A., Klin, B. and Ĉrstea, C. (eds.) Proceedings 4th International Conference, CALCO 2011. Springer-Verlag Lecture Notes in Computer Science 6859 1-18.
3. Bruni, R., Meseguer, J., Montanari, U. and Sassone, V. (1999) Functorial semantics for Petri nets under the individual token philosophy. In: Proceedings of CTCS'99.
4. Chaouiya, C. (2007) Petri net modelling of biological networks. Briefings in Bioinformatics 8 (4) 210-219.
5. Danos, V. (2009) Agile modelling of cellular signalling. Electronic Notes in Theoretical Computer Science 229 (4) 3-10.
6. Danos, V. and Laneve, C. (2004) Formal molecular biology. Theoretical Computer Science 325 (1) 69-110.
7. Danos, V. and Oury, N. (2010) Equilibrium and termination. CoRR, abs/1006.1430.
8. Danos, V., Feret, J., Fontana, W., Harmer, R. and Krivine, J. (2007) Rule-based modelling of cellular signalling. In: Caires, L. and Vasconcelos, V. (eds.) Proceedings CONCUR 2007. Springer-Verlag Lecture Notes in Computer Science 4703 17-41.
9. Danos, V., Feret, J., Fontana, W., Harmer, R. and Krivine, J. (2008a) Rule-based modelling, symmetries, refinements. In: Fisher, J. (ed.) Proceedings FMSB 2008. Springer-Verlag Lecture Notes in Computer Science 5054 103-122.
10. Danos, V., Feret, J., Fontana, W. and Krivine, J. (2008b) Abstract interpretation of cellular signalling networks. In: Logozzo, F., Peled, D. and Zuck, L. D. (eds.) Proceedings VMCAI 2008. Springer-Verlag Lecture Notes in Computer Science 4905 83-97.
11. Danos, V., Feret, J., Fontana, W., Harmer, R. and Krivine, J. (2010) Abstracting the differential semantics of rule-based models: Exact and automated model reduction. In: Proceedings LICS 2010, IEEE Computer Society 362-381.
12. Darling, R. and Norris, J. R. (2008) Differential equation approximations for Markov chains. Probability surveys 5 37-79.
13. Delzanno, G., Giusto, C. D., Gabbrielli, M., Laneve, C. and Zavattaro, G. (2009) The Kappa-Lattice: Decidability Boundaries for Qualitative Analysis in Biological Languages. In: Degano, P. and Gorrieri, R. (eds.) Computational Methods in Systems Biology, Proceedings CMSB 2009. Springer-Verlag Lecture Notes in Computer Science 5688 158-172.
14. Desharnais, J. and Panangaden, P. (2003) Continuous stochastic logic characterizes bisimulation of continuous-time Markov processes. Journal of Logic and Algebraic Programming 56 (1-2) 99-115.
15. Easley, D. and Kleinberg, J. (2010) Networks, crowds, and markets: Reasoning about a highly connected world, Cambridge University Press.
16. Ederer, M. and Gilles, E.-D. (2008) Thermodynamic constraints in kinetic modeling: thermodynamic-kinetic modeling in comparison to other approaches. Engineering in Life Sciences 8 (5) 467-476.
17. Ederer, M. and Gilles, E.-D. (2007) Thermodynamically feasible kinetic models of reaction networks. Biophysical Journal 92 (6) 1846-1857.
18. Ehrig, H., Habel, A., Padberg, J. and Prange, U. (2004) Adhesive high-level replacement categories and systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F. and Rozenberg, G. (eds.) Proceedings Second International Conference, ICGT 2004. Springer-Verlag Lecture Notes in Computer Science 3256 144-160.
19. Epstein, J. M. (1999) Agent-based computational models and generative social science. Complexity 4 (5) 41-60.
20. Faeder, J. R., Blinov, M. L. and Hlavacek, W. S. (2009) Rule-based modeling of biochemical systems with BioNetGen. Methods in Molecular Biology 500 113-167.
21. Feinberg, M. (1987) Chemical reaction network structure and the stability of complex isothermal reactors-I. The deficiency zero and deficiency one theorems. Chemical Engineering Science 42 (10) 2229-2268.
22. Feret, J., Danos, V., Krivine, J., Harmer, R. and Fontana, W. (2009) Internal coarse-graining of molecular systems. Proceedings of the National Academy of Sciences 106 (16) 6453.
23. Goss, P. J. E. and Peccoud, J. (1998) Quantitative modeling of stochastic systems in molecular biology by using stochastic Petri nets. Proceedings of the National Academy of Sciences 95 (12) 6750.
24. Harmer, R., Danos, V., Feret, J., Krivine, J. and Fontana, W. (2010) Intrinsic Information carriers in combinatorial dynamical systems. Chaos 2950 (3) 037108.
25. Karp, R. M. and Miller, R. E. (1969) Parallel Program Schemata. Journal of Computer and System Sciences 3 147-195.
26. Kimura, H., Okano, H. and Tanaka, R. J. (2007) Stochastic approach to molecular interactions and computational theory of metabolic and genetic regulations. Journal of Theoretical Biology 248 (4) 590-607.
27. Lack, S. and Sobocinski, P. (2004) Adhesive categories. In: Walukiewicz, I. (ed.) Foundations of Software Science and Computation Structures, Proceedings 7th International Conference, FOSSACS 2004. Springer-Verlag Lecture Notes in Computer Science 2987 273-288.
28. Lack, S. and Sobocinski, P. (2005) Adhesive and quasiadhesive categories. Theoretical Informatics and Applications 39 (3) 511-545.
29. Marsan, M. (1990) Stochastic Petri nets: an elementary introduction. In: Rozenberg, G. (ed.) Advances in Petri Nets 1989. Springer-Verlag Lecture Notes in Computer Science 424 1-29.
30. Norris, J. R. (1998) Markov chains, Cambridge University Press.
31. Ollivier, J. F., Shahrezaei, V. and Swain, P. S. (2010) Scalable Rule-Based Modelling of Allosteric Proteins and Biochemical Networks. PLOS Computational Biology 6 (11) 6750.
32. Pedersen, M. (2008) Compositional definitions of minimal flows in Petri nets. In: Heiner, M. and Uhrmacher, A. M. (eds.) Computational Methods in Systems Biology-Proceedings CMSB 2008. Springer-Verlag Lecture Notes in Computer Science 5307 288-307.
33. Regev, A., Silverman, W. and Shapiro, E. (2001) Representation and simulation of biochemical processes using the π-calculus process algebra. In: Pacific symposium on biocomputing 6 459-470.
34. Schuster, S. and Schuster, R. (1989) A generalization of Wegscheider's condition. Implications for properties of steady states and for quasi-steady-state approximation. Journal of Mathematical Chemistry 3 (1) 25-42.
35. Yang, J., Bruno, W. J., Hlavacek, W. S. and Pearson, J. E. (2008) On imposing detailed balance in complex reaction mechanisms. Biophysical Journal 91 (3) 1136-1141.