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

De Montfort University Open Research Archive

Show simple item record

dc.contributor.author Yang, Hongji en
dc.contributor.author Chu, William Cheng Chung en
dc.contributor.author He, X. en
dc.date.accessioned 2008-11-24T13:57:19Z
dc.date.available 2008-11-24T13:57:19Z
dc.date.issued 2003-01-01 en
dc.identifier.citation Yang, H., Chu, W.C. and He, X. (2003) A new approach to verify rule-based systems using Petri Nets. Journal of Information and Software Technology, 45(10), pp. 663-669.
dc.identifier.issn 0950-5849 en
dc.identifier.uri http://hdl.handle.net/2086/259
dc.description Various graphical techniques were proposed recently to analyse various types of structural errors, including inconsistency (conflict rules), incompleteness (missing rules), redundancy (redundant rules), and circularity (circular depending rules), in rule-based systems in which rules can be represented in propositional logic. In this paper a special reachability graph technique is presented based on vnets (a special type of low-level petri nets) to detect all of the above types of structural errors. This new technique is simple, efficient, and can be easily automated, which provides its major strength. en
dc.language.iso en en
dc.publisher Elsevier en
dc.subject RAE 2008
dc.subject UoA 23 Computer Science and Informatics
dc.title A new approach to verify rule-based systems using Petri Nets en
dc.type Article en
dc.researchgroup Institute of Creative Technologies
dc.researchgroup Software Technology Research Laboratory (STRL)


Files in this item

This item appears in the following Collection(s)

Show simple item record