Rule Base Verification Using Petri Nets.

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

Browse the full COMPSAC paper archive.