101
|
Opitz R, Schmidt F, Braunbeck T, Wuertz S, Kloas W. Perchlorate and ethylenethiourea induce different histological and molecular alterations in a non-mammalian vertebrate model of thyroid goitrogenesis. Mol Cell Endocrinol 2009; 298:101-14. [PMID: 18801409 DOI: 10.1016/j.mce.2008.08.020] [Citation(s) in RCA: 33] [Impact Index Per Article: 2.2] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Received: 08/15/2008] [Accepted: 08/19/2008] [Indexed: 11/20/2022]
Abstract
Despite evidence for a conserved role of thyroid-stimulating hormone (TSH) in regulating vertebrate thyroid function, molecular data on thyroid responses to TSH are mainly limited to mammalian species. In this study, we examined histological and molecular changes in the thyroid of Xenopus laevis tadpoles during a 12-day treatment with 20mg/l perchlorate (PER) and 50mg/l ethylenethiourea (ETU). Inhibition of thyroid hormone (TH) synthesis by PER and ETU was evident from developmental retardation, reduced expression of TH-regulated genes and up-regulation of tshb-A mRNA. Thyroid histopathology revealed goiters with strikingly different follicular morphologies following PER and ETU treatment. Using real-time PCR, we analyzed thyroids sampled on day 12 for differential expression of 60 candidate genes. Further temporal analyses were performed for a subset of 14 genes. Relative to the control, PER and ETU treatment modulated the expression of 51 and 49 transcripts, respectively. Particularly genes related to TH synthesis and protein metabolism were similarly affected by PER and ETU. However, several genes were differentially expressed in PER- and ETU-treated tadpoles. Specifically, goiter formation in the PER treatment was associated with low expression of genes related to DNA replication but high expression of negative growth regulators. Results from this work provide for the first time a characterization of gene expression profiles during goitrogenesis in a non-mammalian vertebrate model. Overall, our data suggest that, in addition to TSH over-stimulation, further mechanisms related to the mode of goitrogen action contribute to the regulation of thyroid gene expression.
Collapse
Affiliation(s)
- R Opitz
- Department of Inland Fisheries, Leibniz-Institute of Freshwater Ecology and Inland Fisheries, Berlin, Germany.
| | | | | | | | | |
Collapse
|
102
|
Denver RJ, Hu F, Scanlan TS, Furlow JD. Thyroid hormone receptor subtype specificity for hormone-dependent neurogenesis in Xenopus laevis. Dev Biol 2008; 326:155-68. [PMID: 19056375 DOI: 10.1016/j.ydbio.2008.11.005] [Citation(s) in RCA: 79] [Impact Index Per Article: 4.9] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 05/21/2008] [Revised: 10/31/2008] [Accepted: 11/04/2008] [Indexed: 11/30/2022]
Abstract
Thyroid hormone (T(3)) influences cell proliferation, death and differentiation during development of the central nervous system (CNS). Hormone action is mediated by T(3) receptors (TR) of which there are two subtypes, TRalpha and TRbeta. Specific roles for TR subtypes in CNS development are poorly understood. We analyzed involvement of TRalpha and TRbeta in neural cell proliferation during metamorphosis of Xenopus laevis. Cell proliferation in the ventricular/subventricular neurogenic zones of the tadpole brain increased dramatically during metamorphosis. This increase was dependent on T(3) until mid-prometamorphosis, after which cell proliferation decreased and became refractory to T(3). Using double labeling fluorescent histochemistry with confocal microscopy we found TRalpha expressed throughout the tadpole brain, with strongest expression in proliferating cells. By contrast, TRbeta was expressed predominantly outside of neurogenic zones. To corroborate the histochemical results we transfected living tadpole brain with a Xenopus TRbeta promoter-EGFP plasmid and found that most EGFP expressing cells were not dividing. Lastly, treatment with the TRalpha selective agonist CO23 increased brain cell proliferation; whereas, treatment with the TRbeta-selective agonists GC1 or GC24 did not. Our findings support the view that T(3) acts to induce cell proliferation in the tadpole brain predominantly, if not exclusively, via TRalpha.
Collapse
Affiliation(s)
- Robert J Denver
- Department of Molecular, Cellular and Developmental Biology, The University of Michigan, Ann Arbor, USA
| | | | | | | |
Collapse
|
103
|
Wang X, Matsuda H, Shi YB. Developmental regulation and function of thyroid hormone receptors and 9-cis retinoic acid receptors during Xenopus tropicalis metamorphosis. Endocrinology 2008; 149:5610-8. [PMID: 18635662 PMCID: PMC2584584 DOI: 10.1210/en.2008-0751] [Citation(s) in RCA: 78] [Impact Index Per Article: 4.9] [Reference Citation Analysis] [Abstract] [MESH Headings] [Grants] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Indexed: 01/01/2023]
Abstract
Amphibian metamorphosis serves as an excellent model to study T3 function during postembryonic development in vertebrate due to its total dependence on T3. Earlier molecular studies in the model species Xenopus laevis have led to a number of important in vivo findings on the function and mechanisms of T3 receptor (TR) action during vertebrate development. However, the lack of genomic sequence information, its tetraploid genome, and lengthy developmental cycle hinder further analyses on TR functions. In this regard, the highly related species, Xenopus tropicalis, is much more advantageous. Toward developing X. tropicalis for genome-wide and genetic studies of TR function, we analyzed the expression profiles of TRs and their heterodimerization partners, retinoid X receptors (RXRs) or 9-cis retinoic acid receptors. We show that their expression correlates with transformations in different organs and that TR/RXR heterodimers are capable of repressing and activating gene expression in vivo in the absence and presence of T3, respectively. We further demonstrate that TRs are bound to endogenous target genes in X. tropicalis tadpoles. Our results thus support a role of TRs in mediating the metamorphic effects of T3 in X. tropicalis. More importantly, the similarities in the expression and function between X. tropicalis and X. laevis TRs and RXRs as demonstrated by our study also pave the way to take advantages of existing morphological, molecular, and cellular knowledge of X. laevis development and the genetic and sequence superiority of X. tropicalis to dissect the molecular pathways governing tissue/organ-specific transformations during vertebrate postembryonic development.
Collapse
Affiliation(s)
- Xuedong Wang
- Section on Molecular Morphogenesis, Laboratory of Gene Regulation and Development, Program on Cell Regulation and Metabolism, National Institute of Child Health and Human Development, National Institutes of Health, Bethesda, Maryland 20892, USA
| | | | | |
Collapse
|
104
|
Walsh PT, Downie JR, Monaghan P. Predation-induced plasticity in metamorphic duration inXenopus laevis. Funct Ecol 2008. [DOI: 10.1111/j.1365-2435.2008.01429.x] [Citation(s) in RCA: 11] [Impact Index Per Article: 0.7] [Reference Citation Analysis] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/28/2022]
|
105
|
Mawaribuchi S, Tamura K, Okano S, Takayama S, Yaoita Y, Shiba T, Takamatsu N, Ito M. Tumor necrosis factor-alpha attenuates thyroid hormone-induced apoptosis in vascular endothelial cell line XLgoo established from Xenopus tadpole tails. Endocrinology 2008; 149:3379-89. [PMID: 18403482 DOI: 10.1210/en.2007-1591] [Citation(s) in RCA: 14] [Impact Index Per Article: 0.9] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Journal Information] [Submit a Manuscript] [Subscribe] [Scholar Register] [Indexed: 01/13/2023]
Abstract
Amphibian metamorphosis induced by T(3) involves programmed cell death and the differentiation of various types of cells in degenerated and reconstructed tissues. However, the signaling pathway that directs the T(3)-dependent cell-fate determinations remains unclear. TNF-alpha is a pleiotropic cytokine that affects diverse cellular responses. Engagement of TNF-alpha with its receptor (TNFR1) causes intracellular apoptotic and/or survival signaling. To investigate TNF signaling functions during anuran metamorphosis, we first identified Xenopus laevis orthologs of TNF (xTNF)-alpha and its receptor. We found that xTNF-alpha activated nuclear factor-kappaB in X. laevis A6 cells through the Fas-associated death domain and receptor-interacting protein 1. Interestingly, xTNF-alpha mRNA in blood cells showed prominent expression at prometamorphosis during metamorphosis. Next, to elucidate the apoptotic and/or survival signaling induced by xTNF-alpha in an in vitro model of metamorphosis, we established a vascular endothelial cell line, XLgoo, from X. laevis tadpole tail. XLgoo cells formed actin stress fibers and elongated in response to xTNF-alpha. T(3) induced apoptosis in these cells, but the addition of xTNF-alpha blocked the T(3)-induced apoptosis. In addition, treatment of the cells with T(3) for 2 d induced the expression of thyroid hormone receptor-beta and caspase-3, and this thyroid hormone receptor-beta induction was drastically repressed by xTNF-alpha. Furthermore, in organ culture of the tail, xTNF-alpha significantly attenuated the tail degeneration induced by T(3). These findings suggested that xTNF-alpha could protect vascular endothelial cells from apoptotic cell death induced by T(3) during metamorphosis and thereby participate in the regulation of cell fate.
Collapse
Affiliation(s)
- Shuuji Mawaribuchi
- Department of Biosciences, School of Science, Kitasato University, 1-15-1 Kitasato, Sagamihara, Japan
| | | | | | | | | | | | | | | |
Collapse
|
106
|
Multiple ING1 and ING2 genes in Xenopus laevis and evidence for differential association of thyroid hormone receptors and ING proteins to their promoters. BIOCHIMICA ET BIOPHYSICA ACTA-GENE REGULATORY MECHANISMS 2008; 1779:152-63. [DOI: 10.1016/j.bbagrm.2007.12.002] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Track Full Text] [Subscribe] [Scholar Register] [Received: 10/26/2007] [Revised: 12/01/2007] [Accepted: 12/04/2007] [Indexed: 11/18/2022]
|
107
|
Park EC, Shim S, Han JK. Identification and expression of XRTN1-A and XRTN1-C in Xenopus laevis. Dev Dyn 2008; 236:3545-53. [PMID: 17969151 DOI: 10.1002/dvdy.21362] [Citation(s) in RCA: 3] [Impact Index Per Article: 0.2] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/05/2022] Open
Abstract
Reticulon1, also known as neuroendocrine-specific protein, belongs to the reticulon (RTN) family, whose members possess a conserved reticulon domain and are associated with the endoplasmic reticulum (ER) membrane. Here, we report cloning and expression of Xenopus homologues of Reticulon1-A (XRTN1-A) and -C (XRTN1-C). XRTN1-A and -C contain an open reading frame of 752 and 207 amino acids, respectively, each containing a conserved reticulon domain. Sequence analysis shows that XRTN1 proteins have an ER membrane retention signal and four putative membrane-spanning domains. Reverse transcription-polymerase chain reaction and whole-mount in situ hybridization showed that XRTN1-A is expressed in early neural precursors and differentiating neuronal populations, including the trigeminal placode, olfactory placode, lateral line placode, and otic vesicle. XRTN1-C is expressed in the developing brain and spinal cord. We found that XRTN1-C protein is localized to the ER of Xenopus and mammalian cells and the granules in neurites of primary neurons of the Xenopus spinal cord and rat hippocampus. We also showed that XRTN1-C protein is detected in the heavy membrane fraction, which contains lysosomal and ER-resident proteins, as well as in the nucleus and polysomal fractions of the Xenopus embryo. Finally, we showed that thyroid hormone specifically down-regulates XRTN1-A mRNA in the head of premetamorphic Xenopus tadpoles. Our work characterizes the intracellular roles of XRTN1 during Xenopus neural development.
Collapse
Affiliation(s)
- Edmond Changkyun Park
- Division of Molecular and Life Sciences, Pohang University of Science and Technology, Pohang, Kyungbuk, South Korea
| | | | | |
Collapse
|
108
|
Rutherford S, Hirate Y, Swalla BJ. The Hsp90 capacitor, developmental remodeling, and evolution: the robustness of gene networks and the curious evolvability of metamorphosis. Crit Rev Biochem Mol Biol 2008; 42:355-72. [PMID: 17917872 DOI: 10.1080/10409230701597782] [Citation(s) in RCA: 59] [Impact Index Per Article: 3.7] [Reference Citation Analysis] [Abstract] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 10/22/2022]
Abstract
Genetic capacitors moderate expression of heritable variation and provide a novel mechanism for rapid evolution. The prototypic genetic capacitor, Hsp90, interfaces stress responses, developmental networks, trait thresholds and expression of wide-ranging morphological changes in Drosophila and other organisms. The Hsp90 capacitor hypothesis, that stress-sensitive storage and release of genetic variation through Hsp90 facilitates adaptive evolution in unpredictable environments, has been challenged by the belief that Hsp90-buffered variation is unconditionally deleterious. Here we review recent results supporting the Hsp90 capacitor hypothesis, highlighting the heritability, selectability, and potential evolvability of Hsp90-buffered traits. Despite a surprising bias toward morphological novelty and typically invariable quantitative traits, Hsp90-buffered changes are remarkably modular, and can be selected to high frequency independent of the expected negative side-effects or obvious correlated changes in other, unselected traits. Recent dissection of cryptic signal transduction variation involved in one Hsp90-buffered trait reveals potentially dozens of normally silent polymorphisms embedded in cell cycle, differentiation and growth control networks. Reduced function of Hsp90 substrates during environmental stress would destabilize robust developmental processes, relieve developmental constraints and plausibly enables genetic network remodeling by abundant cryptic alleles. We speculate that morphological transitions controlled by Hsp90 may fuel the incredible evolutionary lability of metazoan life-cycles.
Collapse
Affiliation(s)
- Suzannah Rutherford
- Division of Basic Sciences, Fred Hutchinson Cancer Research Center, Seattle, Washington 98109-1024, USA.
| | | | | |
Collapse
|
109
|
McBrayer Z, Ono H, Shimell M, Parvy JP, Beckstead RB, Warren JT, Thummel CS, Dauphin-Villemant C, Gilbert LI, O’Connor MB. Prothoracicotropic hormone regulates developmental timing and body size in Drosophila. Dev Cell 2007; 13:857-71. [PMID: 18061567 PMCID: PMC2359579 DOI: 10.1016/j.devcel.2007.11.003] [Citation(s) in RCA: 304] [Impact Index Per Article: 17.9] [Reference Citation Analysis] [Abstract] [MESH Headings] [Grants] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Received: 09/18/2007] [Revised: 10/29/2007] [Accepted: 11/05/2007] [Indexed: 01/31/2023]
Abstract
In insects, control of body size is intimately linked to nutritional quality as well as environmental and genetic cues that regulate the timing of developmental transitions. Prothoracicotropic hormone (PTTH) has been proposed to play an essential role in regulating the production and/or release of ecdysone, a steroid hormone that stimulates molting and metamorphosis. In this report, we examine the consequences on Drosophila development of ablating the PTTH-producing neurons. Surprisingly, PTTH production is not essential for molting or metamorphosis. Instead, loss of PTTH results in delayed larval development and eclosion of larger flies with more cells. Prolonged feeding, without changing the rate of growth, causes the overgrowth and is a consequence of low ecdysteroid titers. These results indicate that final body size in insects is determined by a balance between growth-rate regulators such as insulin and developmental timing cues such as PTTH that set the duration of the feeding interval.
Collapse
Affiliation(s)
- Zofeyah McBrayer
- The Department of Genetics, Cell Biology and Development, University of Minnesota, Minneapolis, MN, 55455
| | - Hajime Ono
- The Department of Genetics, Cell Biology and Development, University of Minnesota, Minneapolis, MN, 55455
- Howard Hughes Medical Institute, University of Minnesota, Minneapolis, MN, 55455
| | - MaryJane Shimell
- The Department of Genetics, Cell Biology and Development, University of Minnesota, Minneapolis, MN, 55455
| | - Jean-Philippe Parvy
- FRE2852 Protéines Biochimie structurale et fonctionnelle, CNRS- Université P. et M. Curie, Bat A, 5ème ét., Case 29, 7 Quai St Bernard, 75252 Paris CEDEX 05 France
| | - Robert B. Beckstead
- Department of Human Genetics, University of Utah School of Medicine, Salt Lake City, UT 84112
| | - James T. Warren
- Department of Biology, University of North Carolina, Chapel Hill, NC 27599-3280
| | - Carl S. Thummel
- Department of Human Genetics, University of Utah School of Medicine, Salt Lake City, UT 84112
| | - Chantal Dauphin-Villemant
- FRE2852 Protéines Biochimie structurale et fonctionnelle, CNRS- Université P. et M. Curie, Bat A, 5ème ét., Case 29, 7 Quai St Bernard, 75252 Paris CEDEX 05 France
| | - Lawrence I. Gilbert
- Department of Biology, University of North Carolina, Chapel Hill, NC 27599-3280
| | - Michael B. O’Connor
- The Department of Genetics, Cell Biology and Development, University of Minnesota, Minneapolis, MN, 55455
- Howard Hughes Medical Institute, University of Minnesota, Minneapolis, MN, 55455
| |
Collapse
|
110
|
Domanski D, Helbing CC. Analysis of the Rana catesbeiana tadpole tail fin proteome and phosphoproteome during T3-induced apoptosis: identification of a novel type I keratin. BMC DEVELOPMENTAL BIOLOGY 2007; 7:94. [PMID: 17683616 PMCID: PMC2025591 DOI: 10.1186/1471-213x-7-94] [Citation(s) in RCA: 26] [Impact Index Per Article: 1.5] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Download PDF] [Figures] [Subscribe] [Scholar Register] [Received: 01/12/2007] [Accepted: 08/06/2007] [Indexed: 11/21/2022]
Abstract
BACKGROUND Thyroid hormones (THs) are vital in the maintenance of homeostasis and in the control of development. One postembryonic developmental process that is principally regulated by THs is amphibian metamorphosis. This process has been intensively studied at the genomic level yet very little information at the proteomic level exists. In addition, there is increasing evidence that changes in the phosphoproteome influence TH action. RESULTS Here we identify components of the proteome and phosphoproteome in the tail fin that changed within 48 h of exposure of premetamorphic Rana catesbeiana tadpoles to 10 nM 3,5,3'-triiodothyronine (T3). To this end, we developed a cell and protein fractionation method combined with two-dimensional gel electrophoresis and phosphoprotein-specific staining. Altered proteins were identified using mass spectrometry (MS). We identified and cloned a novel Rana larval type I keratin, RLK I, which may be a target for caspase-mediated proteolysis upon exposure to T3. In addition, the RLK I transcript is reduced during T3-induced and natural metamorphosis which is consistent with a larval keratin. Furthermore, GILT, a protein involved in the immune system, is changed in phosphorylation state which is linked to its activation. Using a complementary MS technique for the analysis of differentially-expressed proteins, isobaric tags for relative and absolute quantitation (iTRAQ) revealed 15 additional proteins whose levels were altered upon T3 treatment. The success of identifying proteins whose levels changed upon T3 treatment with iTRAQ was enhanced through de novo sequencing of MS data and homology database searching. These proteins are involved in apoptosis, extracellular matrix structure, immune system, metabolism, mechanical function, and oxygen transport. CONCLUSION We have demonstrated the ability to derive proteomics-based information from a model species for postembryonic development for which no genome information is currently available. The present study identifies proteins whose levels and/or phosphorylation states are altered within 48 h of the induction of tadpole tail regression prior to overt remodeling of the tail. In particular, we have identified a novel keratin that is a target for T3-mediated changes in the tail that can serve as an indicator of early response to this hormone.
Collapse
Affiliation(s)
- Dominik Domanski
- Department of Biochemistry & Microbiology, University of Victoria, PO Box 3055, Victoria, BC V8W 3P6, Canada
| | - Caren C Helbing
- Department of Biochemistry & Microbiology, University of Victoria, PO Box 3055, Victoria, BC V8W 3P6, Canada
| |
Collapse
|
111
|
Amphibian metamorphosis. Dev Biol 2007; 306:20-33. [PMID: 17449026 DOI: 10.1016/j.ydbio.2007.03.021] [Citation(s) in RCA: 318] [Impact Index Per Article: 18.7] [Reference Citation Analysis] [Journal Information] [Subscribe] [Scholar Register] [Received: 02/01/2007] [Revised: 03/09/2007] [Accepted: 03/18/2007] [Indexed: 10/23/2022]
|
112
|
Tindall AJ, Morris ID, Pownall ME, Isaacs HV. Expression of enzymes involved in thyroid hormone metabolism during the early development of Xenopus tropicalis. Biol Cell 2007; 99:151-63. [PMID: 17073826 DOI: 10.1042/bc20060074] [Citation(s) in RCA: 32] [Impact Index Per Article: 1.9] [Reference Citation Analysis] [Abstract] [MESH Headings] [Grants] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/17/2022]
Abstract
BACKGROUND INFORMATION There are significant indications that amphibians require TH (thyroid hormones) prior to their involvement in the regulation of metamorphosis and before the development of a functional thyroid. RESULTS In order to investigate the potential role for TH in pre-metamorphic Xenopus tropicalis we have cloned cDNAs for, and analysed the expression of, TPO (thyroid peroxidase), 5'DII (type II iodothyronine deiodinase) and 5DIII (type III iodothyronine deiodinase), enzymes involved in TH metabolism. Zygotic expression of TPO was detected in neurula stage embryos. Expression was observed in the notochord and later in the thyroid. The notochord was also a common site of expression for 5'DII and 5DIII. Other sites of 5'DII expression are the otic vesicles, retina, liver, blood-forming region, branchial arches and brain. 5DIII is also expressed in the brain, retina, liver, developing pro-nephros, blood-forming region and branchial arches. Embryos exposed to the TPO inhibitor methimazole showed a distinctive dose-dependent phenotype of a crimped notochord and shortened axis, together with alterations in (125)I(-) uptake. CONCLUSIONS These data suggest a novel extrathyroidal role for TH during early development, and support the proposal that embryos require thyroid signalling for normal development prior to metamorphosis.
Collapse
Affiliation(s)
- Andrew J Tindall
- Area 11, Department of Biology, University of York, York YO10 5YW, U.K
| | | | | | | |
Collapse
|
113
|
Ji L, Domanski D, Skirrow RC, Helbing CC. Genistein prevents thyroid hormone-dependent tail regression ofRana catesbeiana tadpoles by targetting protein kinase C and thyroid hormone receptor α. Dev Dyn 2007; 236:777-90. [PMID: 17279574 DOI: 10.1002/dvdy.21088] [Citation(s) in RCA: 22] [Impact Index Per Article: 1.3] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Journal Information] [Subscribe] [Scholar Register] [Indexed: 11/08/2022] Open
Abstract
Thyroid hormone (TH)-regulated gene expression is mainly mediated by TH binding to nuclear thyroid hormone receptors (TRs). Despite extensive studies in mammalian cell lines that show that phosphorylation signaling pathways are important in TH action, little is known about their roles on TH signaling in vivo during development. Anuran metamorphosis is a postembryonic process that is absolutely dependent upon TH and tadpole tail resorption can be precociously induced by exogenous administration of 3,5,3'-triiodothyronine (T(3)). We demonstrate that genistein (a major isoflavone in soy products and tyrosine kinase inhibitor) and the PKC inhibitor (H7) prevent T(3)-induced regression of the Rana catesbeiana tadpole tail. T(3)-induced protein kinase C tyrosine phosphorylation and kinase activity are inhibited by genistein while T(3)-induced up-regulation of TRbeta mRNA, but not TRalpha mRNA, is significantly attenuated, most likely through inhibition of T(3)-dependent phosphorylation of the TRalpha protein. This phosphorylation may be modulated through PKC. These data demonstrate that T(3) signaling in the context of normal cells in vivo includes phosphorylation as an important factor in establishing T(3)-dependent tail regression during development.
Collapse
Affiliation(s)
- L Ji
- Department of Biochemistry and Microbiology, University of Victoria, Victoria, British Columbia, Canada
| | | | | | | |
Collapse
|
114
|
Troncale S, Comet JP, Bernot G. Validation of biological models with temporal logic and Timed Hybrid Petri Nets. ANNUAL INTERNATIONAL CONFERENCE OF THE IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY. IEEE ENGINEERING IN MEDICINE AND BIOLOGY SOCIETY. ANNUAL INTERNATIONAL CONFERENCE 2007; 2007:4603-4608. [PMID: 18003031 DOI: 10.1109/iembs.2007.4353365] [Citation(s) in RCA: 0] [Impact Index Per Article: 0] [Reference Citation Analysis] [Abstract] [MESH Headings] [Track Full Text] [Subscribe] [Scholar Register] [Indexed: 05/25/2023]
Abstract
The Hybrid Functional Petri Nets (HFPN) formalism has shown its convenience for modelling biological systems. This class of models has been fruitfully applied in biology but the remarkable expressiveness of HFPN often leads to incomplete validations. In this paper, we propose a logical framework for Timed Hybrid Petri Nets (THPN), a sub-class of HFPN. We propose an extension of Event Clock Logic dedicated to THPN and a procedure to convert a THPN into a real-time automaton. A small biological model shows that our framework allows us to formally prove properties by a well suited model-checking procedure.
Collapse
|