Modelling and Analysis of E. coli Respiratory Chain
作者： Adrian Ţurcanu , Laurenţiu Mierlă , Florentin Ipate , Alin Stefanescu , Hao Bai
DOI: 10.1007/978-3-319-03191-0_8
关键词:
摘要: In this chapter we present some results obtained in the study of bacterium E. coli related to its behavior at different level oxygen environment. The biological model is expressed terms molecules and their reactions. First, an agent-based implemented FLAME framework for multi-agents simulation are given. Each agent represented by X-machine corresponds communicating X-machines. Then transformed into a kernel P system. This system Rodin platform Spin properties verified using associated checkers. Formulated LTL formalism, refer variation number as result occurring Our main contribution simplified that preserves initial model, can be formally checker.
unirioja.es
springer.com
sci-hub.st 参考文章(28)
Oana Andrei, Muffy Calder, Trend-Based Analysis of a Population Model of the AKAP Scaffold Protein Lecture Notes in Computer Science. ,vol. 14, pp. 1- 25 ,(2012) , 10.1007/978-3-642-35524-0_1
Gheorghe Paun, Arto Salomaa, Grzegorz Rozenberg, The Oxford Handbook of Membrane Computing ,(2010)
Florentin Ipate, Raluca Lefticaru, Laurenţiu Mierlă, Luis Valencia Cabrera, Huang Han, Gexiang Zhang, Ciprian Dragomir, Mario J. Pérez Jiménez, Marian Gheorghe, Kernel P Systems: Applications and Implementations Proceedings of The Eighth International Conference on Bio-Inspired Computing: Theories and Applications (BIC-TA), 2013. pp. 1081- 1089 ,(2013) , 10.1007/978-3-642-37502-6_126
Erzsébet Csuhaj-Varjú, Marian Gheorghe, Mike Stannett, P Systems Controlled by General Topologies Unconventional Computation and Natural Computation. pp. 70- 81 ,(2012) , 10.1007/978-3-642-32894-7_8
Jean-Raymond Abrial, Modeling in Event-B: System and Software Engineering ,(2010)
Stefan Hallerstede, Jean-Raymond Abrial, Refinement, Decomposition, and Instantiation of Discrete Models: Application to Event-B Fundamenta Informaticae. ,vol. 77, pp. 1- 28 ,(2007)
David Benque, Sam Bourton, Caitlin Cockerton, Byron Cook, Jasmin Fisher, Samin Ishtiaq, Nir Piterman, Alex Taylor, Moshe Y. Vardi, Bma: Visual Tool for Modeling and Analyzing Biological Networks Computer Aided Verification. pp. 686- 692 ,(2012) , 10.1007/978-3-642-31424-7_50
Francesco Bernardini, Marian Gheorghe, Francisco José Romero-Campero, Neil Walkinshaw, A hybrid approach to modeling biological systems international conference on membrane computing. pp. 138- 159 ,(2007) , 10.1007/978-3-540-77312-2_9
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Ciprian Dragomir, An integrated approach to P systems formal verification international conference on membrane computing. pp. 226- 239 ,(2010) , 10.1007/978-3-642-18123-8_18
Marian Gheorghe, Florentin Ipate, Raluca Lefticaru, Mario J. Pérez-Jiménez, Adrian Ţurcanu, Luis Valencia Cabrera, Manuel García-Quismondo, Laurenţiu Mierlă, 3-Col problem modelling using simple kernel P systems International Journal of Computer Mathematics. ,vol. 90, pp. 816- 830 ,(2013) , 10.1080/00207160.2012.743712