A New Scheme for Verifying Rule-Based Systems by Using Net-Invariants of Petri Nets

Transactions of the Society of Instrument and Control Engineers ◽

10.9746/sicetr1965.36.810 ◽

2000 ◽

Vol 36 (9) ◽

pp. 810-817

Author(s):

Hiroshige INAZUMI ◽

Narihiro OMOTO

Keyword(s):

Rule Based Systems

Download Full-text

A new scheme for verifying rule-based systems using Petri nets

IEEE SMC'99 Conference Proceedings. 1999 IEEE International Conference on Systems, Man, and Cybernetics (Cat. No.99CH37028) ◽

10.1109/icsmc.1999.814204 ◽

2003 ◽

Author(s):

H. Inazumi ◽

N. Omoto

Keyword(s):

Rule Based Systems

Download Full-text

Structural Error Verification in Active Rule-Based Systems using Petri Nets

2006 Fifth Mexican International Conference on Artificial Intelligence ◽

10.1109/micai.2006.44 ◽

2006 ◽

Author(s):

Lorena Chavarria-Baez ◽

Xiaoou Li

Keyword(s):

Structural Error ◽

Active Rule ◽

Error Verification ◽

Rule Based Systems

Download Full-text

A forward concurrent reasoning approach for rule-based systems using fuzzy colored Petri nets

2010 8th World Congress on Intelligent Control and Automation ◽

10.1109/wcica.2010.5554461 ◽

2010 ◽

Author(s):

Jie Yuan ◽

Chang Liu ◽

Bo Jiang ◽

Yugang Shan ◽

Wenli Shang

Keyword(s):

Colored Petri Nets ◽

Rule Based Systems

Download Full-text

Flexible Generalized Fuzzy Petri Nets for Rule-Based Systems

Theory and Practice of Natural Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-49001-4_16 ◽

2016 ◽

pp. 196-207 ◽

Author(s):

Zbigniew Suraj ◽

Piotr Grochowalski ◽

Sibasis Bandyopadhyay

Keyword(s):

Fuzzy Petri Nets ◽

Rule Based Systems

Download Full-text

A new approach to verify rule-based systems using Petri nets

Proceedings. Twenty-Third Annual International Computer Software and Applications Conference (Cat. No.99CB37032) ◽

10.1109/cmpsac.1999.814327 ◽

2003 ◽

Author(s):

Xudong He ◽

W.C. Chu ◽

H. Yang ◽

S.J.H. Yang

Keyword(s):

New Approach ◽

Rule Based Systems

Download Full-text

Software implementation of petri nets and compilation of rule-based systems

Advances in Petri Nets 1991 - Lecture Notes in Computer Science ◽

10.1007/bfb0019980 ◽

2005 ◽

pp. 296-316 ◽

Author(s):

Robert Valette ◽

Babou Bako

Keyword(s):

Software Implementation ◽

Rule Based Systems

Download Full-text

Modified Generalised Fuzzy Petri Nets for Rule-Based Systems

Lecture Notes in Computer Science - Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing ◽

10.1007/978-3-319-25783-9_18 ◽

2015 ◽

pp. 196-206 ◽

Author(s):

Zbigniew Suraj

Keyword(s):

Fuzzy Petri Nets ◽

Rule Based Systems

Download Full-text

Backward Reasoning on Rule-Based Systems Modeled by Fuzzy Petri Nets Through Backward Tree

Computational Intelligence for Modelling and Prediction - Studies in Computational Intelligence ◽

10.1007/10966518_5 ◽

2005 ◽

pp. 61-71 ◽

Author(s):

Rong Yang ◽

Pheng-Ann Heng ◽

Kwong-Sak Leung

Keyword(s):

Backward Reasoning ◽

Fuzzy Petri Nets ◽

Rule Based Systems

Download Full-text

A new approach to verify rule-based systems using petri nets

Information and Software Technology ◽

10.1016/s0950-5849(03)00058-2 ◽

2003 ◽

Vol 45 (10) ◽

pp. 663-669 ◽

Author(s):

Xudong He ◽

William C Chu ◽

Hongji Yang

Keyword(s):

New Approach ◽

Rule Based Systems

Download Full-text

Process failures diagnosis in FMS real-time control: an approach combining rule-based systems and Petri nets

[1991] Proceedings. The Second Annual Conference on AI, Simulation and Planning in High Autonomy Systems ◽

10.1109/aihas.1991.138466 ◽

2002 ◽

Author(s):

M. Combacau ◽

M. Courvoisier

Keyword(s):

Real Time ◽

Real Time Control ◽

Time Control ◽

Process Failures ◽

Rule Based Systems

Download Full-text