Xudong He, William C. Chu, Hongji Yang, Stephen J. H. Yang. A New Approach to Verify Rule-Based Systems Using Petri Nets. In 23rd International Computer Software and Applications Conference (COMPSAC 99), 27-19 October 1999, Phoenix, AZ, USA. pages 462-467, IEEE Computer Society, 1999. [doi]
@inproceedings{HeCYY99,
title = {A New Approach to Verify Rule-Based Systems Using Petri Nets},
author = {Xudong He and William C. Chu and Hongji Yang and Stephen J. H. Yang},
year = {1999},
url = {http://computer.org/proceedings/compsac/0368/03680462abs.htm},
tags = {rule-based, rules, C++, systematic-approach},
researchr = {https://researchr.org/publication/HeCYY99},
cites = {0},
citedby = {0},
pages = {462-467},
booktitle = {23rd International Computer Software and Applications Conference (COMPSAC 99), 27-19 October 1999, Phoenix, AZ, USA},
publisher = {IEEE Computer Society},
isbn = {0-7695-0368-3},
}