A New Approach to Verify Rule-Based Systems Using Petri Nets.

Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang

Browse the full COMPSAC paper archive.