Title of article
A new approach to verify rule-based systems using petri nets
Author/Authors
Xudong He، نويسنده , , William C. Chu، نويسنده , , Hongji Yang، نويسنده ,
Issue Information
ماهنامه با شماره پیاپی سال 2002
Pages
7
From page
663
To page
669
Keywords
Rule-Based Systems , Verification , Petri nets
Journal title
Information and Software Technology
Serial Year
2002
Journal title
Information and Software Technology
Record number
134973
Link To Document