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 *

101 related articles for article (PubMed ID: 15369073)

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

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

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

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

  • 5. Reachability of nonsynchronized choice Petri nets and its applications.
    Chao DY
    IEEE Trans Syst Man Cybern B Cybern; 2005 Dec; 35(6):1203-13. PubMed ID: 16366246
    [TBL] [Abstract][Full Text] [Related]  

  • 6. A Petri net synthesis theory for modeling flexible manufacturing systems.
    Jeng MD
    IEEE Trans Syst Man Cybern B Cybern; 1997; 27(2):169-83. PubMed ID: 18255855
    [TBL] [Abstract][Full Text] [Related]  

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

  • 8. Scheduling for batch processes based on clustering approximated timed reachability graphs.
    Zhou J; Lefebvre D; Li Z
    ISA Trans; 2024 Sep; 152():290-298. PubMed ID: 38997828
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

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

  • 13. Modelling safety of gantry crane operations using Petri nets.
    Singh K; Raj N; Sahu SK; Behera RK; Sarkar S; Maiti J
    Int J Inj Contr Saf Promot; 2017 Mar; 24(1):32-43. PubMed ID: 26167639
    [TBL] [Abstract][Full Text] [Related]  

  • 14. An observer based approach for achieving fault diagnosis and fault tolerant control of systems modeled as hybrid Petri nets.
    Renganathan K; Bhaskar V
    ISA Trans; 2011 Jul; 50(3):443-53. PubMed ID: 21507399
    [TBL] [Abstract][Full Text] [Related]  

  • 15. Modeling uncertainty reasoning with possibilistic Petri nets.
    Lee J; Liu KR; Chiang W
    IEEE Trans Syst Man Cybern B Cybern; 2003; 33(2):214-24. PubMed ID: 18238172
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

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

  • 20. Petri Nets - A Mathematical Formalism to Analyze Chemical Reaction Networks.
    Koch I
    Mol Inform; 2010 Dec; 29(12):838-43. PubMed ID: 27464348
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.