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 *

119 related articles for article (PubMed ID: 36146285)

  • 41. On anti-occurrence of subsets of transitions in Petri net-based models of complex biological systems.
    Gutowska K; Formanowicz P
    Biosystems; 2022 Dec; 222():104793. PubMed ID: 36273662
    [TBL] [Abstract][Full Text] [Related]  

  • 42. A fuzzy Petri net-based expert system and its application to damage assessment of bridges.
    Lee J; Liu KR; Chiang W
    IEEE Trans Syst Man Cybern B Cybern; 1999; 29(3):350-70. PubMed ID: 18252310
    [TBL] [Abstract][Full Text] [Related]  

  • 43. Comments on "A modified reachability tree approach to analysis of unbounded Petri nets".
    Ru Y; Wu W; Hadjicostis CN
    IEEE Trans Syst Man Cybern B Cybern; 2006 Oct; 36(5):1210. PubMed ID: 17036827
    [TBL] [Abstract][Full Text] [Related]  

  • 44. Fuzzy Petri net-based programmable logic controller.
    Andreu D; Pascal JC; Valette R
    IEEE Trans Syst Man Cybern B Cybern; 1997; 27(6):952-61. PubMed ID: 18263103
    [TBL] [Abstract][Full Text] [Related]  

  • 45. The Formal Language and Design Principles of Autonomous DNA Walker Circuits.
    Boemo MA; Lucas AE; Turberfield AJ; Cardelli L
    ACS Synth Biol; 2016 Aug; 5(8):878-84. PubMed ID: 27114350
    [TBL] [Abstract][Full Text] [Related]  

  • 46. Petri Net and Probabilistic Model Checking Based Approach for the Modelling, Simulation and Verification of Internet Worm Propagation.
    Razzaq M; Ahmad J
    PLoS One; 2015; 10(12):e0145690. PubMed ID: 26713449
    [TBL] [Abstract][Full Text] [Related]  

  • 47. Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach.
    Foughali M; Zuepke A
    Front Robot AI; 2022; 9():791757. PubMed ID: 35494538
    [TBL] [Abstract][Full Text] [Related]  

  • 48. Possibilistic Petri nets.
    Cardoso J; Valette R; Dubois D
    IEEE Trans Syst Man Cybern B Cybern; 1999; 29(5):573-82. PubMed ID: 18252335
    [TBL] [Abstract][Full Text] [Related]  

  • 49. Towards efficient verification of population protocols.
    Blondin M; Esparza J; Jaax S; Meyer PJ
    Form Methods Syst Des; 2021; 57(3):305-342. PubMed ID: 34866798
    [TBL] [Abstract][Full Text] [Related]  

  • 50. Reachability analysis of real-time systems using time Petri nets.
    Wang J; Deng Y; Xu G
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):725-36. PubMed ID: 18252405
    [TBL] [Abstract][Full Text] [Related]  

  • 51. Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal.
    Farrell M; Mavrakis N; Ferrando A; Dixon C; Gao Y
    Front Robot AI; 2021; 8():639282. PubMed ID: 35155585
    [TBL] [Abstract][Full Text] [Related]  

  • 52. Energy Management Strategy for an Autonomous Hybrid Power Plant Destined to Supply Controllable Loads.
    Yahyaoui I; de la Peña NV
    Sensors (Basel); 2022 Jan; 22(1):. PubMed ID: 35009900
    [TBL] [Abstract][Full Text] [Related]  

  • 53. Comparing digraph and Petri net approaches to deadlock avoidance in FMS.
    Fanti MP; Maione B; Turchiano B
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):783-98. PubMed ID: 18252409
    [TBL] [Abstract][Full Text] [Related]  

  • 54. Deadlock-free genetic scheduling algorithm for automated manufacturing systems based on deadlock control policy.
    Xing K; Han L; Zhou M; Wang F
    IEEE Trans Syst Man Cybern B Cybern; 2012 Jun; 42(3):603-15. PubMed ID: 22106151
    [TBL] [Abstract][Full Text] [Related]  

  • 55. Counterexample Generation for Probabilistic Model Checking Micro-Scale Cyber-Physical Systems.
    Liu Y; Ma Y; Yang Y; Zheng T
    Micromachines (Basel); 2021 Aug; 12(9):. PubMed ID: 34577703
    [TBL] [Abstract][Full Text] [Related]  

  • 56. Colored Petri net modeling and simulation of signal transduction pathways.
    Lee DY; Zimmer R; Lee SY; Park S
    Metab Eng; 2006 Mar; 8(2):112-22. PubMed ID: 16376130
    [TBL] [Abstract][Full Text] [Related]  

  • 57. On-line verification of initial-state opacity by Petri nets and integer linear programming.
    Cong X; Fanti MP; Mangini AM; Li Z
    ISA Trans; 2019 Oct; 93():108-114. PubMed ID: 30799022
    [TBL] [Abstract][Full Text] [Related]  

  • 58. Behavioral Petri nets: a model for diagnostic knowledge representation and reasoning.
    Portinale L
    IEEE Trans Syst Man Cybern B Cybern; 1997; 27(2):184-95. PubMed ID: 18255856
    [TBL] [Abstract][Full Text] [Related]  

  • 59. Virtual Control Policy for Binary Ordered Resources Petri Net Class.
    Rovetto CA; Concepción TJ; Cano EE
    Sensors (Basel); 2016 Aug; 16(8):. PubMed ID: 27548170
    [TBL] [Abstract][Full Text] [Related]  

  • 60. Modelling and measuring complexity of traditional and ancient technologies using Petri nets.
    Fajardo S; Kleijn J; Takes FW; Langejans GHJ
    PLoS One; 2022; 17(11):e0278310. PubMed ID: 36445915
    [TBL] [Abstract][Full Text] [Related]  

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