Detail publikace

Object Oriented Petri Nets -- Modelling Techniques Case Study

KOČÍ Radek, JANOUŠEK Vladimír a ZBOŘIL František. Object Oriented Petri Nets -- Modelling Techniques Case Study. In: Second UKSIM European Symposium on Computer Modeling and Simulation. Liverpool: IEEE Computer Society, 2008, s. 165-170. ISBN 978-0-7695-3325-4.
Název česky
Object Oriented Petri Nets -- Modelling Techniques Case Study
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kočí Radek, Ing., Ph.D. (UITS FIT VUT)
Janoušek Vladimír, doc. Ing., Ph.D. (UITS FIT VUT)
Zbořil František, doc. Ing., Ph.D. (UITS FIT VUT)
Abstrakt

Článek se věnuje aplikaci formalismu Objektově Orientovaných Petriho sítí (OOPN) v oblasti návrhu systémů a demonstruje techniky modelování OOPN na případové studii návrhu konferenčního systému.

Rok
2008
Strany
165-170
Sborník
Second UKSIM European Symposium on Computer Modeling and Simulation
Konference
2nd UK European Symposium on Computer Modelling and Simulation, Liverpool, GB
ISBN
978-0-7695-3325-4
Vydavatel
IEEE Computer Society
Místo
Liverpool, GB
BibTeX 
@INPROCEEDINGS{FITPUB8719,
   author = "Radek Ko\v{c}\'{i} and Vladim\'{i}r Janou\v{s}ek and Franti\v{s}ek Zbo\v{r}il",
   title = "Object Oriented Petri Nets -- Modelling Techniques Case Study",
   pages = "165--170",
   booktitle = "Second UKSIM European Symposium on Computer Modeling and Simulation",
   year = 2008,
   location = "Liverpool, GB",
   publisher = "IEEE Computer Society",
   ISBN = "978-0-7695-3325-4",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8719"
}
Nahoru