Abstract
The paper presented hereunder pays attention to discussion of the method of using the Petri nets as the modelling tool of the processes occurring during inference. This issue is a part of the project concerning the extension of decision units model to the possibilities of effective detection and visualisation of knowledge base verification results. The basic terms of Petri nets as well as the idea of using Petri nets as the modelling agent of rule knowledge base have been presented in this paper. The method of using Petri nets for modelling of the inference process has been also discussed in further part of this paper. Short discourse has been included in the summary to this paper on foreseen directions of Petri nets usage in verification of dynamic properties of rule knowledge bases as well as the possibilities of using Petri nets for extending the properties of decision units.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
1. Agarwal R., Tanniru M.: Petri-net approach for verifying the integrity of production systems. International Journal of Man-Machine Studies, 36 (3), 1992.
2. Murata T.: Petri nets: Properties, Analysis and Applications. Proceedings of the IEEE, vol. 77, no.4, April 1989.
3. Nazareth D.L.: Investigating the applicability of petri nets for rule-based system veri.cation. IEEE Transactions on Knowledge and Data Engineering, 4 (3), 1992.
4. Rozenberg G., Thiagarajan P.S.: Petri nets: basic notations, structure, behavior. Current Trends in Concurency. Necture Notes in Computer Science, vol. 224, Springer-Verlag, Berlin, 1986.
5. Simiński R., Wakulicz-Deja A.: Veri.cation of Rule Knowledge Bases Using Decision Units. Advances in Soft Computing, Intelligent Information Systems, Physica-Verlag, Springer Verlag Company, 2000.
6. Simiński R., Wakulicz-Deja A.: Decision units as a tool for rule base modeling and veri.cation. Advances in Soft Computing, Physica-Verlag, Springer Verlag Company, 2003.
7. Simiński R., Wakulucz-Deja A.: Application of Decision Units in Knowledge Engineering. Lecture Notes in Arti.cial Intelligence, Springer-Verlag, 2004.
8. Simiński R. Petri net and matrix representation of rule knowledge base for veri.cation task. Lecture Notes in Arti.cial Intelligence, Springer-Verlag, 2005.
9. Suraj Z.: Rough Set Methods for the Synthesis and Analysis of Concurrent Processess. ICS PAS Reports, 893, Warszawa, Cecember 1999.
10. Szpyrka M, Ligeza A., Szmuc T.: Badanie (wery.kacja) wlasnosci baz wiedzy z wykorzystaniem kolorowanych sieci Petriego [in polish] Materialy IV Konferencji Inzynieria Wiedzy i Systemy Ekspertowe, Wroclaw 2000.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer
About this paper
Cite this paper
Siminski, R. (2006). Extending Decision Units Conception Using Petri Nets. In: Kłopotek, M.A., Wierzchoń, S.T., Trojanowski, K. (eds) Intelligent Information Processing and Web Mining. Advances in Soft Computing, vol 35. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-33521-8_45
Download citation
DOI: https://doi.org/10.1007/3-540-33521-8_45
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-33520-7
Online ISBN: 978-3-540-33521-4
eBook Packages: EngineeringEngineering (R0)