%0 Journal Article %1 journals/infsof/HeCY03 %A He, Xudong %A Chu, William C. %A Yang, Hongji %D 2003 %J Inf. Softw. Technol. %K dblp %N 10 %P 663-669 %T A new approach to verify rule-based systems using petri net. %U http://dblp.uni-trier.de/db/journals/infsof/infsof45.html#HeCY03 %V 45

@article{journals/infsof/HeCY03, added-at = {2020-02-20T00:00:00.000+0100}, author = {He, Xudong and Chu, William C. and Yang, Hongji}, biburl = {https://www.bibsonomy.org/bibtex/283460a70eb6b605c0dfd2045d776cd9e/dblp}, ee = {https://doi.org/10.1016/S0950-5849(03)00058-2}, interhash = {f0406c6ba7c850c255792591a037745d}, intrahash = {83460a70eb6b605c0dfd2045d776cd9e}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, number = 10, pages = {663-669}, timestamp = {2020-02-21T13:00:43.000+0100}, title = {A new approach to verify rule-based systems using petri net.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof45.html#HeCY03}, volume = 45, year = 2003 }