TY  - THES
AU  - Santos Buitrago, Rocío M.
A3  - Riesco Rodríguez, Adrián
PY  - 2021
UR  - https://hdl.handle.net/20.500.14352/5123
AB  - Pathway Logic es una herramienta para tratar con sistemas biológicos simbólicos desarrollada en SRI International. Está basada en redes de Petri e implementada en el lenguaje de reescritura Maude. Con esta herramienta se han desarrollado numerosos...
AB  - Pathway Logic is a tool for dealing with symbolic biological systems developed at SRI International. It is based on Petri nets and the Maude rewriting language. Numerous cellular signaling pathway models have been developed with this tool. These...
LA  - spa
KW  - Lógica de reescritura
KW  - Maude
KW  - Metalenguaje
KW  - Pathway Logic
KW  - Sistemas biológicos simbólicos
KW  - Soft sets
KW  - Información incompleta
KW  - Toma de decisiones
KW  - Sistema de búsqueda.
KW  - Rewriting logic
KW  - Metalanguage
KW  - Symbolic biological systems
KW  - Incomplete information
KW  - Decision making
KW  - Search system.
TI  - Sistema de reescritura basado en soft sets para sistemas biológicos simbólicos modelados con Pathway Logic en Maude
T2  - Soft set based rewrite system for symbolic biological systems modeled with Pathway Logic in Maude
M3  - master thesis
ER  -