D-nets - Petri net form of rule-based systems

• Autorzy: Szpyrka M. , Szmuc T.
• Języki publikacji: EN

Abstrakty

EN

A formal approach to design and analysis of rule-based systems incorporated into embedded systems is presented in the paper. RTCP-nets, a subclass of timed coloured Petri nets, are used as a modelling language. They enable modelling of embedded systems incorporating an RBS (rule-based system). Such a system is represented as a D-net (decision net) that constitutes the bottom layer of the model. D-nets are used to represent a set of generalized decision rules with non-atomic attribute values. In order to assure reliable and efficient performance, analysis and verification of selected qualitative properties (such as completeness, consistency and optirnality) are carried out. The analysis and verification stage are based on Petri nets analysis methods and are included into the design process. Design and verification are supported by computer tools.

Słowa kluczowe

EN

rule-based systems; decision table; D-nets; design; verification

• Wydawca: Wydawnictwo Politechniki Poznańskiej
• Czasopismo: Foundations of Computing and Decision Sciences
• Rocznik: 2006
• Tom: Vol. 31, No. 2
• Strony: 175--190
• Opis fizyczny: Bibliogr. 10 poz.

Twórcy

autor

Szpyrka M.

autor

Szmuc T.

• AGH University of Science and Technology, Institute of Automatics, Al. Mickiewicza 30, 30-059 Kraków, Poland,

Bibliografia

• [1] Fryc B., Pancerz K., Suraj Z.: Approximate Petri Nets for Rule-Based Decision Making. [In:] Komorowski J., Tsumoto S., (Eds.): Proceedings of the Ath International Conference on Rough Sets and Current Trends in Computing, RSCTC 2004. Vol. 3066, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2004, 733-742
• [2] Jackson P.: Introduction to Expert Systems. Addison-Wesley, 1999
• [3] Jensen K.: Coloured Petri Nets. Basic Concepts, Analysis Methods and Practical Use. Vol. 1-3, Springer-Verlag, 1992-1997
• [4] Liebowitz J.: The Handbook of Applied Expert Systems. CRC Press, 1998
• [5] LigęzaA.: Logical Foundations of Rule-Based Systems. Uczelniane Wydawnictwa Nauko wo-Dydaktyczne AGH, 2005
• [6] Nalepa G. J., Ligęza A.: Designing reliable web security systems using rule-based systems approach. [In:] Menasalvas E., Segovia J., Szczepaniak P. S., (Eds.): Advances in Web Intelligence: first international Atlantic Web Intelligence Conference AWIC 2003. Vol. 2663, Lecture Notes in Artificial Intelligence. Springer-Verlag, 2003, 124-133
• [7] Szpyrka M.: Fast and Flexible Modelling of Real-time Systems with RTCP-nets. Computer Science, Vol. 6, 2004, 81-94
• [8] Szpyrka M.: Adder Designer - Tools for Modelling and Analysis of Rule-based Systems. [In:] Proceedings of Computer Methods and Systems Conference. Vol. 1 (Plenary lectures and special session papers), Kraków, Poland, November 14-16 2005, 341-346
• [9] Szpyrka M., Szmuc T.: Application of RTCP-nets for Design and Analysis of Embeddes Systems. [In:] Proceedings of the 12th International Conference Mixed Design of Integrated Circuits and Systems. Kraków, Poland, 22-25 June 2005, 565-570
• [10] Szpyrka M., Szmuc T., Matyasik P., Szmuc W.: A formal approach to modelling of real-time systems using RTCP-nets. Foundation of Computing and Decision Science, Vol. 30, No. 1, 2005, 61-71