Detail publikace

Type Analysis in Object-Oriented Petri Nets

KŘENA Bohuslav a VOJNAR Tomáš. Type Analysis in Object-Oriented Petri Nets. In: Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic: MARQ, 2001, s. 173-180. ISBN 80-85988-51-8.
Název česky
Typová analýza objektově orientovaných Petriho sítí
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Křena Bohuslav, Ing. (UIVT FEI VUT)
Vojnar Tomáš, Ing., Ph.D. (UIVT FEI VUT)
URL
Abstrakt

Článek se zabývá problémem automatické typové analýzy objektově orientovaných Petriho sítí (OOPNs - Object-Oriented Petri Nets). Je zde popsáno jádro jednoho z možných řešení a diskutovány jeho výhody i nevýhody.

Rok
2001
Strany
173-180
Sborník
Proceedings of 4th International Conference on Information System Modelling -- ISM'01
Konference
4th International Conference on Information System Modelling - ISM'01, Hradec nad Moravicí, Czech Republic, CZ
ISBN
80-85988-51-8
Vydavatel
MARQ
Místo
Hradec nad Moravicí, Czech Republic, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6048,
   author = "Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Type Analysis in Object-Oriented Petri Nets",
   pages = "173--180",
   booktitle = "Proceedings of 4th International Conference on Information System Modelling -- ISM'01",
   year = 2001,
   location = "Hradec nad Moravic\'{i}, Czech Republic, CZ",
   ISBN = "80-85988-51-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6048"
}
Nahoru