TU Darmstadt / ULB / TUbiblio

Maximal reduction of deterministic semantics of rule-based models - Google-Suche

Petrov, T. and Koeppl, H. (2010):
Maximal reduction of deterministic semantics of rule-based models - Google-Suche.
In: Proceedings of the International Workshop on computational Systems Biology (WCSB) in 2010, [Online-Edition: https://www.google.de/?gfe\_rd=ctrl\&ei=l3o6U7aXG\_Da8geKzYC...],
[Conference or Workshop Item]

Abstract

We develop a syntax-independent rule-based specification in a set-theoretical framework. The reactants of rules are usually defined as partially defined objects, called patterns, to denote that we can apply a reaction by substituting a pattern with any species that contains the context described by the pattern. We choose a very general data structure to represent the patterns: we write a pattern as a set of species which comply the pattern, and we call it a macro-species. We define the deterministic (ODE) semantics on such a rule set, and we define its reduction imposed by aggregation of species. We characterize for which aggregations we can correctly compute the reduced ODE semantics directly from the rule set, ie which aggregations are self-consistent. Finally, we propose an algorithm that, given a set of initial aggregates, computes the least-refined self-consistent aggregation which contains the initial aggregates.

Item Type: Conference or Workshop Item
Erschienen: 2010
Creators: Petrov, T. and Koeppl, H.
Title: Maximal reduction of deterministic semantics of rule-based models - Google-Suche
Language: English
Abstract:

We develop a syntax-independent rule-based specification in a set-theoretical framework. The reactants of rules are usually defined as partially defined objects, called patterns, to denote that we can apply a reaction by substituting a pattern with any species that contains the context described by the pattern. We choose a very general data structure to represent the patterns: we write a pattern as a set of species which comply the pattern, and we call it a macro-species. We define the deterministic (ODE) semantics on such a rule set, and we define its reduction imposed by aggregation of species. We characterize for which aggregations we can correctly compute the reduced ODE semantics directly from the rule set, ie which aggregations are self-consistent. Finally, we propose an algorithm that, given a set of initial aggregates, computes the least-refined self-consistent aggregation which contains the initial aggregates.

Divisions: 18 Department of Electrical Engineering and Information Technology > Institute for Telecommunications > Bioinspired Communication Systems
18 Department of Electrical Engineering and Information Technology
18 Department of Electrical Engineering and Information Technology > Institute for Telecommunications
Event Title: Proceedings of the International Workshop on computational Systems Biology (WCSB) in 2010
Date Deposited: 04 Apr 2014 12:19
Official URL: https://www.google.de/?gfe\_rd=ctrl\&ei=l3o6U7aXG\_Da8geKzYC...
Export:

Optionen (nur für Redakteure)

View Item View Item