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" }