Show simple item record

dc.contributor.authorYang, Hongjien
dc.contributor.authorChu, William Cheng Chungen
dc.contributor.authorHe, X.en
dc.date.accessioned2008-11-24T13:57:19Z
dc.date.available2008-11-24T13:57:19Z
dc.date.issued2003-01-01en
dc.identifier.citationYang, 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.en
dc.identifier.issn0950-5849en
dc.identifier.urihttp://hdl.handle.net/2086/259
dc.descriptionVarious 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.isoenen
dc.publisherElsevieren
dc.subjectRAE 2008
dc.subjectUoA 23 Computer Science and Informatics
dc.titleA new approach to verify rule-based systems using Petri Netsen
dc.typeArticleen
dc.identifier.doihttps://doi.org/10.1016/s0950-5849(03)00058-2
dc.researchgroupInstitute of Creative Technologies
dc.researchgroupSoftware Technology Research Laboratory (STRL)


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record