Podpora pro analýzu stavových prostorů objektově orientovaných Petriho sítí

Práce se zabývá konceptem objektově orientovaných Petriho sítí a jejich reprezentací v Prologu, která slouží pro simulaci, generování a analýzu jejich stavových prostorů. Hlavním cílem této práce je implementace překladače mezi těmito reprezentacemi. V této práci je nejdříve popsán jazyk PNtalk, jehož gramatika je zde přizpůsobena pro snadnější implementaci překladače. Dále je popsána a diskutována vnitřní reprezentace objektově orientovaných Petriho sítí v jazyce Prolog. Práce úzce navazuje na semestrální projekt, ve kterém byl implementován prototyp tohoto překladače.

Na generátor stavových prostorů, který byl již dříve implementován v jazyce Prolog, navazuje dotazovací jazyk nad stavovými prostory SSQL. Základní přehled o tomto jazyce a o možnostech jeho dalšího vývoje je v závěru této práce.

This work discuses a concept of object-oriented Petri nets and their Prolog representation which is used for simulation, generating and analysing their state spaces. A primery goal of this work was to implement a compiler from the PNtalk representation to the Prolog representation.

At first there was described a compiler input language - PNtalk. To allow a better implementation of the compiler some changes in the original PNtalk grammar were necessary. This changes are detailed in the work. Next there was discused a compiler output languge - an internal representation of object-oriented Petri nets in the programming language Prolog.

After these parts there was desrcribed main part of this work - desing and implementation of the compiler PNC. This work continued in semestral project in which was called a compiler prototyp.

State spaces generator which was designed and developed at DCSE in the Prolog language tie together with the state spaces query language SSQL. A basic description of this language was discused in the end of this work.