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.
132 related articles for article (PubMed ID: 18263087)
1. 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]
2. 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]
3. A token-flow paradigm for verification of rule-based expert systems. Wu CH; Lee SJ IEEE Trans Syst Man Cybern B Cybern; 2000; 30(4):616-24. PubMed ID: 18252394 [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. Two theoretical and practical aspects of knitting technique: invariants and a new class of Petri net. Chao DY; Wang DT IEEE Trans Syst Man Cybern B Cybern; 1997; 27(6):962-77. PubMed ID: 18263104 [TBL] [Abstract][Full Text] [Related]
6. 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]
7. 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]
8. 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]
9. 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]
10. 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]
11. 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]
12. 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]
13. Requirements specification and analysis of digital systems using fuzzy and marked Petri nets. Shen VL; Lai F IEEE Trans Syst Man Cybern B Cybern; 1998; 28(5):748-54. PubMed ID: 18255994 [TBL] [Abstract][Full Text] [Related]
14. 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]
15. 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]
16. Medical diagnostic system using Fuzzy Coloured Petri Nets under uncertainty. Ouchi Y; Tazaki E Stud Health Technol Inform; 1998; 52 Pt 1():675-9. PubMed ID: 10384540 [TBL] [Abstract][Full Text] [Related]
17. Rule-based reasoning for system dynamics in cell systems. Jeong E; Nagasaki M; Miyano S Genome Inform; 2008; 20():25-36. PubMed ID: 19425120 [TBL] [Abstract][Full Text] [Related]
18. Hierarchical time-extended Petri nets (H-EPNs) based error identification and recovery for multilevel systems. Ramaswamy S; Valavanis KP IEEE Trans Syst Man Cybern B Cybern; 1996; 26(1):164-75. PubMed ID: 18263018 [TBL] [Abstract][Full Text] [Related]
19. 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]
20. 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] [Next] [New Search]