Detail publikace

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

KŘENA, B. Podpora pro analýzu stavových prostorů objektově orientovaných Petriho sítí. Sborník prací studentů a doktorandů. Brno: Akademické nakladatelství CERM sro., 2000. s. 192-194. ISBN: 80-7204-155-X.
Název anglicky
A Support for Analysing State Spaces of Object-Oriented Petri Nets
Typ
článek ve sborníku konference
Jazyk
česky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
URL
Klíčová slova

Objektově orientované Petriho sítě, reprezentace v jazyce Prolog, PNtalk, překladač PNC, generátor stavových prostorů, dotazovací jazyk nad stavovými prostory SSQL

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.

Rok
2000
Strany
192–194
Sborník
Sborník prací studentů a doktorandů
ISBN
80-7204-155-X
Vydavatel
Akademické nakladatelství CERM sro.
Místo
Brno
BibTeX 
@inproceedings{BUT5444,
  author="Bohuslav {Křena}",
  title="Podpora pro analýzu stavových prostorů objektově orientovaných Petriho sítí",
  booktitle="Sborník prací studentů a doktorandů",
  year="2000",
  pages="192--194",
  publisher="Akademické nakladatelství CERM sro.",
  address="Brno",
  isbn="80-7204-155-X",
  url="http://www.fit.vutbr.cz/~krena/prace/stc2000.pdf"
}
Nahoru