dc.creator | Bernardini, Francesco | es |
dc.creator | Gheorghe, Marian | es |
dc.creator | Romero Campero, Francisco José | es |
dc.creator | Walkinshaw, Neil | es |
dc.date.accessioned | 2019-05-22T05:45:28Z | |
dc.date.available | 2019-05-22T05:45:28Z | |
dc.date.issued | 2007 | |
dc.identifier.citation | Bernardini, F., Gheorghe, M., Romero Campero, F.J. y Walkinshaw, N. (2007). A Hybrid Approach to Modeling Biological Systems. En WMC 2007: 8th International Workshop on Membrane Computing (138-159), Thessaloniki, Greece: Springer. | |
dc.identifier.isbn | 978-3-540-77311-5 | es |
dc.identifier.issn | 0302-9743 | es |
dc.identifier.uri | https://hdl.handle.net/11441/86647 | |
dc.description.abstract | This paper investigates a hybrid approach to modeling molecular
interactions in biology. P systems, π-calculus, and Petri nets models,
and two tools, Daikon, used in software reverse-engineering, and
PRISM, a probabilistic model checker, are investigated for their expressiveness
and complementary roles in describing and analyzing biological
systems. A simple case study illustrates this approach. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | Springer | es |
dc.relation.ispartof | WMC 2007: 8th International Workshop on Membrane Computing (2007), p 138-159 | |
dc.rights | Attribution-NonCommercial-NoDerivatives 4.0 Internacional | * |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.title | A Hybrid Approach to Modeling Biological Systems | es |
dc.type | info:eu-repo/semantics/conferenceObject | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/submittedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Ciencias de la Computación e Inteligencia Artificial | es |
dc.relation.publisherversion | https://link.springer.com/chapter/10.1007/978-3-540-77312-2_9 | es |
dc.identifier.doi | 10.1007/978-3-540-77312-2_9 | es |
dc.contributor.group | Universidad de Sevilla. TIC193: Computación Natural | es |
idus.format.extent | 22 | es |
dc.publication.initialPage | 138 | es |
dc.publication.endPage | 159 | es |
dc.eventtitle | WMC 2007: 8th International Workshop on Membrane Computing | es |
dc.eventinstitution | Thessaloniki, Greece | es |
dc.relation.publicationplace | Berlin | es |
dc.identifier.sisius | 6517604 | es |