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

Object-Oriented Petri nets, Prolog representation, PNtalk, compiler PNC, state spaces generator, state spaces query language SSQL

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.