These tools will no longer be maintained as of December 31, 2024. Archived website can be found here. PubMed4Hh GitHub repository can be found here. Contact NLM Customer Service if you have questions.
117 related articles for article (PubMed ID: 18003031)
1. Validation of biological models with temporal logic and Timed Hybrid Petri Nets. Troncale S; Comet JP; Bernot G Annu Int Conf IEEE Eng Med Biol Soc; 2007; 2007():4603-8. PubMed ID: 18003031 [TBL] [Abstract][Full Text] [Related]
2. Constructing biological pathway models with hybrid functional petri nets. Doi A; Fujita S; Matsuno H; Nagasaki M; Miyano S Stud Health Technol Inform; 2011; 162():92-112. PubMed ID: 21685566 [TBL] [Abstract][Full Text] [Related]
3. Constructing biological pathway models with hybrid functional Petri nets. Doi A; Fujita S; Matsuno H; Nagasaki M; Miyano S In Silico Biol; 2004; 4(3):271-91. PubMed ID: 15724280 [TBL] [Abstract][Full Text] [Related]
4. Neural system modeling and simulation using Hybrid Functional Petri Net. Tang Y; Wang F J Bioinform Comput Biol; 2012 Feb; 10(1):1240006. PubMed ID: 22809307 [TBL] [Abstract][Full Text] [Related]
5. VANESA: An open-source hybrid functional Petri net modeling and simulation environment in systems biology. Brinkrolf C; Ochel L; Hofestädt R Biosystems; 2021 Dec; 210():104531. PubMed ID: 34492317 [TBL] [Abstract][Full Text] [Related]
6. Coloured fuzzy Petri nets for modelling and analysing membrane systems. Assaf G; Heiner M; Liu F Biosystems; 2022 Feb; 212():104592. PubMed ID: 34995696 [TBL] [Abstract][Full Text] [Related]
7. Coloured Hybrid Petri Nets: An adaptable modelling approach for multi-scale biological networks. Herajy M; Liu F; Rohr C; Heiner M Comput Biol Chem; 2018 Oct; 76():87-100. PubMed ID: 29982167 [TBL] [Abstract][Full Text] [Related]
8. Fuzzy Petri nets for modelling of uncertain biological systems. Liu F; Heiner M; Gilbert D Brief Bioinform; 2020 Jan; 21(1):198-210. PubMed ID: 30590430 [TBL] [Abstract][Full Text] [Related]
9. Hybrid modelling of biological systems using fuzzy continuous Petri nets. Liu F; Sun W; Heiner M; Gilbert D Brief Bioinform; 2021 Jan; 22(1):438-450. PubMed ID: 33480420 [TBL] [Abstract][Full Text] [Related]
10. Fuzzy multimodel of timed Petri nets. Hennequin S; Lefebvre D; El Moudni A IEEE Trans Syst Man Cybern B Cybern; 2001; 31(2):245-51. PubMed ID: 18244786 [TBL] [Abstract][Full Text] [Related]
11. Towards abstraction of computational modelling of mammalian cell cycle: Model reduction pipeline incorporating multi-level hybrid petri nets. Abroudi A; Samarasinghe S; Kulasiri D J Theor Biol; 2020 Jul; 496():110212. PubMed ID: 32142804 [TBL] [Abstract][Full Text] [Related]
12. A versatile petri net based architecture for modeling and simulation of complex biological processes. Nagasaki M; Doi A; Matsuno H; Miyano S Genome Inform; 2004; 15(1):180-97. PubMed ID: 15712121 [TBL] [Abstract][Full Text] [Related]
13. Model Checking Autonomous Components within Electric Power Systems Specified by Interpreted Petri Nets. Grobelna I; Szcześniak P Sensors (Basel); 2022 Sep; 22(18):. PubMed ID: 36146285 [TBL] [Abstract][Full Text] [Related]
14. Hybrid modeling in biochemical systems theory by means of functional petri nets. Wu J; Voit E J Bioinform Comput Biol; 2009 Feb; 7(1):107-34. PubMed ID: 19226663 [TBL] [Abstract][Full Text] [Related]
15. Modelling and simulating reaction-diffusion systems using coloured Petri nets. Liu F; Blätke MA; Heiner M; Yang M Comput Biol Med; 2014 Oct; 53():297-308. PubMed ID: 25150626 [TBL] [Abstract][Full Text] [Related]
16. Enhanced high-level Petri nets with multiple colors for knowledge verification/validation of rule-based expert systems. Wu CH; Lee SJ IEEE Trans Syst Man Cybern B Cybern; 1997; 27(5):760-73. PubMed ID: 18263087 [TBL] [Abstract][Full Text] [Related]
17. Algebraic properties of automata associated to Petri nets and applications to computation in biological systems. Egri-Nagy A; Nehaniv CL Biosystems; 2008; 94(1-2):135-44. PubMed ID: 18611428 [TBL] [Abstract][Full Text] [Related]
18. Hemojuvelin-hepcidin axis modeled and analyzed using Petri nets. Formanowicz D; Kozak A; Głowacki T; Radom M; Formanowicz P J Biomed Inform; 2013 Dec; 46(6):1030-43. PubMed ID: 23954231 [TBL] [Abstract][Full Text] [Related]
19. The equivalency between logic Petri workflow nets and workflow nets. Wang J; Yu S; Du Y ScientificWorldJournal; 2015; 2015():121492. PubMed ID: 25821845 [TBL] [Abstract][Full Text] [Related]
20. Modeling biological systems with uncertain kinetic data using fuzzy continuous Petri nets. Liu F; Chen S; Heiner M; Song H BMC Syst Biol; 2018 Apr; 12(Suppl 4):42. PubMed ID: 29745860 [TBL] [Abstract][Full Text] [Related] [Next] [New Search]