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.
Weitere Kapitel dieses Buchs durch Wischen aufrufen
Bitte loggen Sie sich ein, um Zugang zu diesem Inhalt zu erhalten
Sie möchten Zugang zu diesem Inhalt erhalten? Dann informieren Sie sich jetzt über unsere Produkte:
- Extending Decision Units Conception Using Petri Nets
- Springer Berlin Heidelberg
in-adhesives, MKVS, Zühlke/© Zühlke