Stephen J. H. Yang, Alex S. Lee, William C. Chu, Hongji Yang. Rule Base Verification Using Petri Nets. In COMPSAC 98 - 22nd International Computer Software and Applications Conference, August 19-21, 1998, Vienna, Austria. pages 476-485, IEEE Computer Society, 1998. [doi]
Abstract is missing.