Detail publikace

Object-oriented Petri Nets and their Application and Type Analysis

KŘENA Bohuslav. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, roč. 1, č. 1, 2003, s. 27-31. ISSN 1312-2622.
Název česky
Objektově orientované Petriho sítě, jejich použítí a typová analýza
Typ
článek v časopise
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Klíčová slova

Objektově orientované Petriho sítě, použití, modelování, typová analýza.

Abstrakt

Objektově orientované Petriho sítě (OOPNs - Object-Oriented Petri Nets) jsou vhodné pro modelování, prototypování a verifikaci paralelních systémů. V tomto článku jsou představeny OOPNs a výzkum s nimi spojený. Nejdříve je uvedena motivace pro zavedení OOPNs a jejich porovnání s klasickými Petriho sítěmi. OOPNs jsou pak popsány detailněji a pro ilustraci je uveden i jednoduchý příklad (model směnárny). Dále se pak článek věnuje formální analýze OOPNs, zejména typové analýze a její společné implementaci s dalšími analytickými nástroji.

Rok
2003
Strany
27-31
Časopis
Information Technologies and Control, roč. 1, č. 1, ISSN 1312-2622
Kniha
Information Technologies and Control
Místo
Sofia, BG
BibTeX 
@ARTICLE{FITPUB7289,
   author = "Bohuslav K\v{r}ena",
   title = "Object-oriented Petri Nets and their Application and Type Analysis",
   pages = "27--31",
   booktitle = "Information Technologies and Control",
   journal = "Information Technologies and Control",
   volume = 1,
   number = 1,
   year = 2003,
   location = "Sofia, BG",
   ISSN = "1312-2622",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7289"
}
Nahoru