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