Visualisation of inference in rule knowledge bases using Petri nets

Roman Simiński, Sebastian Janus


The paper presents conception of utilization of Petri nets to visualization the structure of rule knowledge bases and the functional and implementation issues of system using this conception for visualization both the structure of knowledge bases and the inference process in such bases. The basic terms of Petri nets as well as the idea of using Petri nets as the modeling rule knowledge base have been presented in this paper. The methods of using Petri nets for modeling of the inference process has been also discussed in this paper together with description of realization features of proper software.


Petri nets; inference; rules knowledge bases

Full Text:

PDF (Polski)


Jackson P.: Introduction to Expert Systems, Addison-Wesley, New York, USA 1999.

Murata T.: Petri Nets: Properties, Analysis and Aplications. Proceedings of IEEE, Vol. 77, No. 4, April 1989.

Nazareth D. L.: Investigating the applicability of Petri nets for rule-based system verification. IEEE Transactions on Knowledge and Data Engineering, 4 (3), 1992.

Nowak A., Simiński R., Wakulicz-Deja A.: Inference algorithms for hierarchical knowledge bases. Kłopotek M. A., Przepiórkowski A., Wierzchoń S. T., Trojanowski K. (red.): Recent Advances in Intelligent Information Systems. Academic Publishing House EXIT.

Peterson J. L.: Petri Net Theory and the Modeling of Systems. Prentice Hall, Englewood Cliffs, NJ, 1981.

Reichgelt H.: Knowledge Representation: An AI Perspective. Ablex Publishing Corporation, New Jersey 1991.

Rozenberg G., Thiagarajan P. S.: Petri nets: basic notations, structure, behavior. Current Trends in Concurency. Lecture Notes in Computer Science, Vol. 224, Springer-Verlag, Berlin 1986.

Simiński R.: Decision units approach in knowledge base modeling, [in:] Kłopotek M. A., Przepiórkowski A., Wierzchoń S. T., Trojanowski K. (eds.): Recent Advances in Intelligent Information Systems, Academic Publishing House EXIT, 2009, s. 597-606.

Simiński R.Ś Extending decision units conception using Petri nets. Advances in Soft Computing, Intelligent Information Processing and Web Mining, Springer-Verlag, 2006, s. 413-420.

Simiński R.: Modelowanie procesów wnioskowania z wykorzystaniem sieci Petriego. Materiały Konferencji Naukowej Systemy Wspomagania Decyzji, Zakopane 2006, s. 127-137.

Simiński R. Petri net and matrix representation of rule knowledge base for verification task. Intelligent Information Processing and Web Mining, Advances in Soft Computing, Springer-Verlag, 2005.

Simiński R., Wakulicz-Deja A.: Decision units as a tool for rule base modeling and verification. Intelligent Information Processing and Web Maining, Advances in Soft Computing, Physica-Verlag, 2003.

Simiński R., Wakulucz-Deja A.: Application of Decision Units in Knowledge Engineering. Rough Sets and Current Trends in Computing, Lecture Notes in Artificial Intelligence, Springer-Verlag, 2004.

Suraj Z.: Rough Set Methods for the Synthesis and Analysis of Concurrent Processess. ICS PAS Reports, 893, Warszawa December 1999.

Suraj Z., Fryc B., Matusiewicz Z., Pancerz K.: A Petri Net System: an Overview, [in:] Flasiński M., Nawarecki E., Polkowski L., Schaefer R., Stefanowski J., Suraj Z. (eds.): Special volume with selected papers from TASC 2004 workshop, Fundamenta Informaticae, Vol. 71, No. 1, IOS Press, Amsterdam 2006, s. 101-119.