Detail publikace

Type Analysis in Object-Oriented Petri Nets

KŘENA, B.; VOJNAR, T. Type Analysis in Object-Oriented Petri Nets. Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic: 2001. p. 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
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

Object-oriented Petri nets, Type analysis, Formal techniques

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
ISBN
80-85988-51-8
Místo
Hradec nad Moravicí, Czech Republic
BibTeX 
@inproceedings{BUT5442,
  author="Bohuslav {Křena} and Tomáš {Vojnar}",
  title="Type Analysis in Object-Oriented Petri Nets",
  booktitle="Proceedings of 4th International Conference on Information System Modelling -- ISM'01",
  year="2001",
  pages="173--180",
  address="Hradec nad Moravicí, Czech Republic",
  isbn="80-85988-51-8",
  url="http://www.fit.vutbr.cz/~krena/prace/ism01.ps"
}
Nahoru