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 *

122 related articles for article (PubMed ID: 35196198)

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

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

  • 3. Current-state opacity verification in discrete event systems using an observer net.
    Labed A; Saadaoui I; Wu N; Yu J; Li Z
    Sci Rep; 2022 Dec; 12(1):21572. PubMed ID: 36517648
    [TBL] [Abstract][Full Text] [Related]  

  • 4. Verification of initial-and-final-state opacity for unambiguous weighted automata.
    Shen L; Miao S; Lai A; Komenda J
    ISA Trans; 2024 May; 148():237-246. PubMed ID: 38599927
    [TBL] [Abstract][Full Text] [Related]  

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

  • 6. Deadlock checking for one-place unbounded Petri nets based on modified reachability trees.
    Ding Z; Jiang C; Zhou M
    IEEE Trans Syst Man Cybern B Cybern; 2008 Jun; 38(3):881-3. PubMed ID: 18558549
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 9. Observer based on-line fault diagnosis of continuous systems modeled as Petri nets.
    Renganathan K; Bhaskar V
    ISA Trans; 2010 Oct; 49(4):587-95. PubMed ID: 20466365
    [TBL] [Abstract][Full Text] [Related]  

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

  • 11. Modularization of biochemical networks based on classification of Petri net t-invariants.
    Grafahrend-Belau E; Schreiber F; Heiner M; Sackmann A; Junker BH; Grunwald S; Speer A; Winder K; Koch I
    BMC Bioinformatics; 2008 Feb; 9():90. PubMed ID: 18257938
    [TBL] [Abstract][Full Text] [Related]  

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

  • 13. Fault diagnosis for discrete events systems described by partially observed Petri nets.
    Arichi F; Cherki B; Djemai M; Djouadi SM
    ISA Trans; 2022 Sep; 128(Pt A):220-228. PubMed ID: 34602239
    [TBL] [Abstract][Full Text] [Related]  

  • 14. Performance Optimization for a Class of Petri Nets.
    Shi W; He Z; Gu C; Ran N; Ma Z
    Sensors (Basel); 2023 Jan; 23(3):. PubMed ID: 36772485
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Computational modeling of signal transduction networks without kinetic parameters: Petri net approaches.
    Koch I; Büttner B
    Am J Physiol Cell Physiol; 2023 May; 324(5):C1126-C1140. PubMed ID: 36878844
    [TBL] [Abstract][Full Text] [Related]  

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

  • 17. Safety analysis of discrete event systems using a simplified Petri net controller.
    Zareiee M; Dideban A; Asghar Orouji A
    ISA Trans; 2014 Jan; 53(1):44-9. PubMed ID: 24074873
    [TBL] [Abstract][Full Text] [Related]  

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

  • 19. Identification of unobservable behavior in stochastic discrete event systems with a low number of sensors.
    Santillán-Mosquera R; Muñoz-Añasco M
    MethodsX; 2023 Dec; 11():102316. PubMed ID: 37637290
    [TBL] [Abstract][Full Text] [Related]  

  • 20. Runtime Verification of Pacemaker Functionality Using Hierarchical Fuzzy Colored Petri-nets.
    Majma N; Babamir SM; Monadjemi A
    J Med Syst; 2017 Feb; 41(2):27. PubMed ID: 28005249
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 7.