Rule Base Verification Using Petri Nets

• Authors:

• Stephen J. H. Yang;Alex S. Lee;William C. Chu;Hongji Yang

• Affiliations:

• -;-;-;-

• Venue:
• COMPSAC '98 Proceedings of the 22nd International Computer Software and Applications Conference
• Year:
• 1998