Wyniki wyszukiwania - BazTech

1

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

Szpyrka M., Szmuc T.

Foundations of Computing and Decision Sciences

|

2006

|

Vol. 31, No. 2

175-190

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.

2

Specification of external system behaviour based on D-nets: theoretical aspects and computer tools

Szpyrka M., Szmuc T.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2003

|

T. 7, z. 1-2

275-281

EN

A special subclass of coloured Petri nets (so-called D-nets) is presented in the paper. The concept is based on coloured Petri nets (CP-nets [2]) but special structure of such D-nets allows carrying out very interesting formal analysis. The main advantage of the D-nets is possibility of efficient verification of system requirements, i.e., elimination of ambiguity, inconsistency and incompleteness. Such a specification of requirements is prepared as a decision table with rules patterns and then it is transformed into a D-net and computer software is used for automatic verification of its properties. The relevant definitions and main properties of D-nets are presented, and main features of ADDER tool software designed for D-nets analysis are put forward.

PL

W artykule przedstawiona została podklasa kolorowanych sieci Petriego, tzw. D-sieci. Pojęcie bazuje na kolorowanych sieciach Petriego, ale specyficzna struktura D-sieci pozwala na przeprowadzenie formalnej analizy reprezentowanej przez nie specyfikacji zachowania się systemu. Główną zaletą D-sieci jest możliwość efektywnej weryfikacji specyfikacji wymagań, tj. eliminacji dwuznaczności, niezgodności i niezupełności. Specyfikacja wymagań jest przygotowywana jako tablica decyzyjna zawierająca szablony reguł decyzyjnych, a następnie jest transformowana do postaci D-sieci i automatycznie analizowana z wykorzystaniem odpowiednich narzędzi komputerowych. W artykule przedstawione zostały definicje podstawowych pojęć dotyczących D-sieci oraz główne cechy systemu ADDER - rozwijanego oprogramowania , którego jedną z możliwości jest analiza D-sieci.

3

Algebraiczno-grafowe metody reprezentacji wiedzy dla analizy i weryfikacji atrybutowych systemów tablicowych

Szpyrka M., Szmuc T.

Automatyka / Akademia Górniczo-Hutnicza im. Stanisława Staszica w Krakowie

|

2001

|

T. 5, z. 1/2

535-543

PL

W artykule przedstawiono metodę weryfikacji atrybutowych systemów tablicowych w oparciu o specjalny typ niehierarchicznych kolorowanych sieci Petriego (D-sieci). Podstawą do przeprowadzonych w pracy rozważań jest tablica decyzyjna będąca zbiorem uogólnionych reguł decyzyjnych. Pojedyncza tablica decyzyjna może zostać transformowana do postaci D-sieci, w oparciu o którą możliwe jest badanie między innymi takich własności jak zupełność i niesprzeczność zbioru reguł decyzyjnych. W pracy przedstawiono rozszerzenie koncepcji D-sieci do postaci hierarchicznej D-sieci. Umożliwia to reprezentowanie w formie algebraiczno-graficznej zbioru tablic decyzyjnych. Omawiane sposoby analizy tablic decyzyjnych mogą być wykorzystywane przy analizie poprawności wiedzy w systemach bazodanowych, jak również przy sprawdzaniu poprawności systemów sterujących. W odniesieniu do baz danych pozwala to na stworzenie graficznej reprezentacji wiedzy odnoszącej się do zgromadzonych danych, a także na analizę tej wiedzy w oparciu o sprawdzanie własności sieci Petriego z wykorzystaniem dostępnych narzędzi komputerowych. W odniesieniu do systemów wbudowanych umożliwia to zaprojektowanie w formie kolorowanej sieci Petriego modułu sterującego obsługującego zdarzenia opisywane przez różne zestawy atrybutów. Możliwa jest analiza zarówno pojedynczych podsystemów takiego modułu, jak również całości.

EN

The paper outlines methods for verification of knowledge-based systems. The main issue considered in the paper is the design of complete, deterministic and consistent decision support systems, such as decision tables, tabular (attributive) rule-based systems and intelligent control systems. A special type of CP-nets, the so-called D-nets, is used for analysis of properties of knowledge specification. Attributive decision table specifying a set of decision rules is the basic notion used in the paper. In order to verify its properties, a decision table is transformed into a D-net. The notion of hierarchical D-nets is presented in the paper. It allows representing a set of decision tables in algebraic-graphical form. The presented methods of analysis of decision tables can be used as tools for verification of knowledge in database system and also for analysis of control systems. With reference to database systems they allow for representation of knowledge concerning data stored in a database in graphical form. It allows performing analysis of knowledge properties with Petri nets computer tools. With reference to control systems it allows to design control module in Petri net form. It is possible to analyse single units of control module and also more sophisticated systems.