Detail publikace

Object-oriented Petri Nets and their Application and Type Analysis

KŘENA, B. Object-oriented Petri Nets and their Application and Type Analysis. Information Technologies and Control, 2003, vol. 1, no. 1, p. 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
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
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
BibTeX 
@article{BUT46259,
  author="Bohuslav {Křena}",
  title="Object-oriented Petri Nets and their Application and Type Analysis",
  journal="Information Technologies and Control",
  year="2003",
  volume="1",
  number="1",
  pages="27--31",
  issn="1312-2622"
}
Nahoru