René Thomas’ discrete modelling of gene regulatory networks (GRN) is a well-known approach to study the dynamics resulting from a set of interacting genes. It deals with some parameters which reflect the possible targets of trajectories. Those parameters are a priori unknown, but they may generally be deduced from a well-chosen set of biologically observed trajectories. Besides, it neglects the time delays for a gene to pass from one level of expression to another one. The purpose of this paper is to show that we can account for time delays of increasing or decreasing expression levels of genes in a GRN, while preserving powerful enough computer-aided reasoning capabilities. We designed a more accurate abstraction of GRN where delays are now supposed to be non-null unknown new parameters. We show that such models, together with hybrid model-checking algorithms, make it possible to obtain some results about the behaviour of a network of interacting genes, since dynamics depend on the respective values of the parameters. The characteristic of our approach is that, among possible execution trajectories in the model, we can automatically find out both viability cycles and absorption in capture basins. As a running example, we show that we are able to discriminate between various possible dynamics of mucus production in the bacterium Pseudomonas aeruginosa.

This content is only available via PDF.
Copyright / Drug Dosage / Disclaimer
Copyright: All rights reserved. No part of this publication may be translated into other languages, reproduced or utilized in any form or by any means, electronic or mechanical, including photocopying, recording, microcopying, or by any information storage and retrieval system, without permission in writing from the publisher.
Drug Dosage: The authors and the publisher have exerted every effort to ensure that drug selection and dosage set forth in this text are in accord with current recommendations and practice at the time of publication. However, in view of ongoing research, changes in government regulations, and the constant flow of information relating to drug therapy and drug reactions, the reader is urged to check the package insert for each drug for any changes in indications and dosage and for added warnings and precautions. This is particularly important when the recommended agent is a new and/or infrequently employed drug.
Disclaimer: The statements, opinions and data contained in this publication are solely those of the individual authors and contributors and not of the publishers and the editor(s). The appearance of advertisements or/and product references in the publication is not a warranty, endorsement, or approval of the products or services advertised or of their effectiveness, quality or safety. The publisher and the editor(s) disclaim responsibility for any injury to persons or property resulting from any ideas, methods, instructions or products referred to in the content or advertisements.
You do not currently have access to this content.