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 *

104 related articles for article (PubMed ID: 30850206)

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

  • 2. Monitor design with multiple self-loops for maximally permissive supervisors.
    Chen Y; Li Z; Barkaoui K; Uzam M
    ISA Trans; 2016 Mar; 61():129-140. PubMed ID: 26857517
    [TBL] [Abstract][Full Text] [Related]  

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

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

  • 5. Petri Net controller synthesis based on decomposed manufacturing models.
    Dideban A; Zeraatkar H
    ISA Trans; 2018 Jun; 77():90-99. PubMed ID: 29724587
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

  • 9. Formal Verification for Task Description Languages. A Petri Net Approach.
    López J; Santana-Alonso A; Díaz-Cacho Medina M
    Sensors (Basel); 2019 Nov; 19(22):. PubMed ID: 31739526
    [TBL] [Abstract][Full Text] [Related]  

  • 10. Model abstraction for discrete-event systems by binary linear programming with applications to manufacturing systems.
    Cheng L; Feng L; Li Z
    Sci Prog; 2021; 104(3):368504211030833. PubMed ID: 34292845
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

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

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

  • 16. Reliable decentralized supervisory control of discrete event systems.
    Takai S; Ushio T
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):661-7. PubMed ID: 18252400
    [TBL] [Abstract][Full Text] [Related]  

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

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

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

  • 20. Supervisory control of Petri nets using routing functions: starvation avoidance issues.
    Alpan G; Gaujal B
    IEEE Trans Syst Man Cybern B Cybern; 2000; 30(5):684-95. PubMed ID: 18252402
    [TBL] [Abstract][Full Text] [Related]  

    [Next]    [New Search]
    of 6.