Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963331324> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2963331324 abstract "Multi-valued networks provide a simple yet expressive qualitative state based modelling approach for biological systems. In this paper we develop an abstraction theory for asynchronous multi-valued network models that allows the state space of a model to be reduced while preserving key properties of the model. The abstraction theory therefore provides a mechanism for coping with the state space explosion problem and supports the analysis and comparison of multi-valued networks. We take as our starting point the abstraction theory for synchronous multi-valued networks which is based on the finite set of traces that represent the behaviour of such a model. The problem with extending this approach to the asynchronous case is that we can now have an infinite set of traces associated with a model making a simple trace inclusion test infeasible. To address this we develop a decision procedure for checking asynchronous abstractions based on using the finite state graph of an asynchronous multi-valued network to reason about its trace semantics. We illustrate the abstraction techniques developed by considering a detailed case study based on a multi-valued network model of the regulation of tryptophan biosynthesis in Escherichia coli." @default.
- W2963331324 created "2019-07-30" @default.
- W2963331324 creator A5007486465 @default.
- W2963331324 date "2011-08-01" @default.
- W2963331324 modified "2023-09-26" @default.
- W2963331324 title "Abstracting Asynchronous Multi-Valued Networks: An Initial Investigation" @default.
- W2963331324 hasPublicationYear "2011" @default.
- W2963331324 type Work @default.
- W2963331324 sameAs 2963331324 @default.
- W2963331324 citedByCount "1" @default.
- W2963331324 countsByYear W29633313242014 @default.
- W2963331324 crossrefType "journal-article" @default.
- W2963331324 hasAuthorship W2963331324A5007486465 @default.
- W2963331324 hasConcept C110251889 @default.
- W2963331324 hasConcept C111472728 @default.
- W2963331324 hasConcept C124304363 @default.
- W2963331324 hasConcept C138885662 @default.
- W2963331324 hasConcept C151319957 @default.
- W2963331324 hasConcept C184337299 @default.
- W2963331324 hasConcept C199360897 @default.
- W2963331324 hasConcept C30888246 @default.
- W2963331324 hasConcept C31258907 @default.
- W2963331324 hasConcept C41008148 @default.
- W2963331324 hasConcept C41895202 @default.
- W2963331324 hasConcept C75291252 @default.
- W2963331324 hasConcept C80444323 @default.
- W2963331324 hasConceptScore W2963331324C110251889 @default.
- W2963331324 hasConceptScore W2963331324C111472728 @default.
- W2963331324 hasConceptScore W2963331324C124304363 @default.
- W2963331324 hasConceptScore W2963331324C138885662 @default.
- W2963331324 hasConceptScore W2963331324C151319957 @default.
- W2963331324 hasConceptScore W2963331324C184337299 @default.
- W2963331324 hasConceptScore W2963331324C199360897 @default.
- W2963331324 hasConceptScore W2963331324C30888246 @default.
- W2963331324 hasConceptScore W2963331324C31258907 @default.
- W2963331324 hasConceptScore W2963331324C41008148 @default.
- W2963331324 hasConceptScore W2963331324C41895202 @default.
- W2963331324 hasConceptScore W2963331324C75291252 @default.
- W2963331324 hasConceptScore W2963331324C80444323 @default.
- W2963331324 hasLocation W29633313241 @default.
- W2963331324 hasOpenAccess W2963331324 @default.
- W2963331324 hasPrimaryLocation W29633313241 @default.
- W2963331324 hasRelatedWork W110188364 @default.
- W2963331324 hasRelatedWork W1484391703 @default.
- W2963331324 hasRelatedWork W1569899126 @default.
- W2963331324 hasRelatedWork W1573573872 @default.
- W2963331324 hasRelatedWork W1703762398 @default.
- W2963331324 hasRelatedWork W1941942257 @default.
- W2963331324 hasRelatedWork W2119682158 @default.
- W2963331324 hasRelatedWork W2147367432 @default.
- W2963331324 hasRelatedWork W2173007823 @default.
- W2963331324 hasRelatedWork W2294126384 @default.
- W2963331324 hasRelatedWork W2296646831 @default.
- W2963331324 hasRelatedWork W2394934717 @default.
- W2963331324 hasRelatedWork W2564648803 @default.
- W2963331324 hasRelatedWork W2784488219 @default.
- W2963331324 hasRelatedWork W2912560690 @default.
- W2963331324 hasRelatedWork W2967179464 @default.
- W2963331324 hasRelatedWork W2982240535 @default.
- W2963331324 hasRelatedWork W2991392150 @default.
- W2963331324 hasRelatedWork W65745150 @default.
- W2963331324 hasRelatedWork W72832420 @default.
- W2963331324 isParatext "false" @default.
- W2963331324 isRetracted "false" @default.
- W2963331324 magId "2963331324" @default.
- W2963331324 workType "article" @default.