Detail publikace

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

KŘENA, B.

Originální název

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

Anglický název

A Support for Analysing State Spaces of Object-Oriented Petri Nets

Typ

teze Ph.D. práce

Jazyk

čeština

Originální abstrakt

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.

Anglický abstrakt

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.

Klíčová slova

Objektově orientované Petriho sítě (OOPN), jazyk a systém PNtalk, simulátor a generátor stavových prostorů PNG, reprezentace v jazyce Prolog, překladač PNC, generátor překladačů v jazyce Java (JavaCC), dotazovací jazyk nad stavovými prostory SSQL

Klíčová slova v angličtině

Object-Oriented Petri Nets (OOPN), PNtalk language and system, simulator and state spaces generator PNG, Prolog representation, compiler PNC, Java Compiler Compiler JavaCC, state spaces query language SSQL

Autoři

KŘENA, B.

Vydáno

7. 6. 2000

Místo

Brno

Strany počet

59

URL

http://www.fit.vutbr.cz/~krena/prace/diplomka.pdf

BibTex

@misc{BUT192570,
  author="Bohuslav {Křena}",
  title="Podpora pro analýzu stavových prostorů objektově orientovaných Petriho sítí",
  year="2000",
  pages="59",
  address="Brno",
  url="http://www.fit.vutbr.cz/~krena/prace/diplomka.pdf",
  note="Ph.D. thesis principal points"
}