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.


BIOMARKERS

Molecular Biopsy of Human Tumors

- a resource for Precision Medicine *

133 related articles for article (PubMed ID: 36146285)

  • 21. Authoring and verification of clinical guidelines: a model driven approach.
    Pérez B; Porres I
    J Biomed Inform; 2010 Aug; 43(4):520-36. PubMed ID: 20206714
    [TBL] [Abstract][Full Text] [Related]  

  • 22. Modeling and control of operator functional state in a unified framework of fuzzy inference petri nets.
    Zhang JH; Xia JJ; Garibaldi JM; Groumpos PP; Wang RB
    Comput Methods Programs Biomed; 2017 Jun; 144():147-163. PubMed ID: 28494999
    [TBL] [Abstract][Full Text] [Related]  

  • 23. Fuzzy backward reasoning using fuzzy Petri nets.
    Chen SM
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(6):846-56. PubMed ID: 18252415
    [TBL] [Abstract][Full Text] [Related]  

  • 24. Formal Modelling of FHIR Based, Medical Data Exchange Using Algebraic Petri Nets.
    Bathelt F; Kümmel M; Helfer S; Kamann C; Sedlmayr M
    Stud Health Technol Inform; 2020 Jun; 270():597-601. PubMed ID: 32570453
    [TBL] [Abstract][Full Text] [Related]  

  • 25. Language-based Opacity Verification and Enforcement in the Framework of Labeled Petri Nets.
    Habbachi S; Li Z; Wu N; Khalgui M
    Sci Prog; 2022; 105(1):368504221075466. PubMed ID: 35196198
    [TBL] [Abstract][Full Text] [Related]  

  • 26. 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]  

  • 27. Automatic selection of verification tools for efficient analysis of biochemical models.
    Bakir ME; Konur S; Gheorghe M; Krasnogor N; Stannett M
    Bioinformatics; 2018 Sep; 34(18):3187-3195. PubMed ID: 29688313
    [TBL] [Abstract][Full Text] [Related]  

  • 28. Reconstruction of extended Petri nets from time-series data by using logical control functions.
    Durzinsky M; Marwan W; Wagler A
    J Math Biol; 2013 Jan; 66(1-2):203-23. PubMed ID: 22302473
    [TBL] [Abstract][Full Text] [Related]  

  • 29. Specification and Verification of Medical Monitoring System Using Petri-nets.
    Majma N; Babamir SM
    J Med Signals Sens; 2014 Jul; 4(3):181-93. PubMed ID: 25298927
    [TBL] [Abstract][Full Text] [Related]  

  • 30. Topological analysis of metabolic networks based on petri net theory.
    Zevedei-Oancea I; Schuster S
    Stud Health Technol Inform; 2011; 162():17-37. PubMed ID: 21685562
    [TBL] [Abstract][Full Text] [Related]  

  • 31. Control synthesis of timed discrete event systems based on predicate invariance.
    Chen H; Hanisch HM
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):713-24. PubMed ID: 18252404
    [TBL] [Abstract][Full Text] [Related]  

  • 32. Combining plasma gasification and solid oxide cell technologies in advanced power plants for waste to energy and electric energy storage applications.
    Perna A; Minutillo M; Lubrano Lavadera A; Jannelli E
    Waste Manag; 2018 Mar; 73():424-438. PubMed ID: 28965703
    [TBL] [Abstract][Full Text] [Related]  

  • 33. Petri net based model of the body iron homeostasis.
    Formanowicz D; Sackmann A; Formanowicz P; Błazewicz J
    J Biomed Inform; 2007 Oct; 40(5):476-85. PubMed ID: 17258508
    [TBL] [Abstract][Full Text] [Related]  

  • 34. Implementing Autonomous Driving Behaviors Using a Message Driven Petri Net Framework.
    López J; Sánchez-Vilariño P; Sanz R; Paz E
    Sensors (Basel); 2020 Jan; 20(2):. PubMed ID: 31941134
    [TBL] [Abstract][Full Text] [Related]  

  • 35. Topological analysis of metabolic networks based on Petri net theory.
    Zevedei-Oancea I; Schuster S
    In Silico Biol; 2003; 3(3):323-45. PubMed ID: 12954094
    [TBL] [Abstract][Full Text] [Related]  

  • 36. A modified reachability tree approach to analysis of unbounded Petri nets.
    Wang FY; Gao Y; Zhou M
    IEEE Trans Syst Man Cybern B Cybern; 2004 Feb; 34(1):303-8. PubMed ID: 15369073
    [TBL] [Abstract][Full Text] [Related]  

  • 37. Most permissive liveness-enforcing Petri net supervisors for discrete event systems via linear monitors.
    Cong X; Wang A; Chen Y; Wu N; Qu T; Khalgui M; Li Z
    ISA Trans; 2019 Sep; 92():145-154. PubMed ID: 30850206
    [TBL] [Abstract][Full Text] [Related]  

  • 38. 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]  

  • 39. On a maximally permissive deadlock prevention policy for automated manufacturing systems by using resource-oriented Petri nets.
    Chen H; Wu N; Li Z; Qu T
    ISA Trans; 2019 Jun; 89():67-76. PubMed ID: 30598325
    [TBL] [Abstract][Full Text] [Related]  

  • 40. Discrete event representation of qualitative models using Petri nets.
    Fanni A; Giua A
    IEEE Trans Syst Man Cybern B Cybern; 1998; 28(6):770-80. PubMed ID: 18255996
    [TBL] [Abstract][Full Text] [Related]  

    [Previous]   [Next]    [New Search]
    of 7.