Roman Siminski. Petri Net and Matrix Representation of Rule Knowledge Base for Verification Task. In Mieczyslaw A. Klopotek, Slawomir T. Wierzchon, Krzysztof Trojanowski, editors, Intelligent Information Processing and Web Mining, Proceedings of the International IIS: IIPWM 05 Conference held in Gdansk, Poland, June 13-16, 2005. Advances in Soft Computing, pages 571-576, Springer, 2005.
Abstract is missing.