Detail výsledku

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: Marq software s.r.o., 2001. p. 173-180. ISBN: 80-85988-51-8.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Křena Bohuslav, Ing., Ph.D., FEKT (FEKT)
Vojnar Tomáš, prof. Ing., Ph.D., FEKT (FEKT)
Abstrakt

The paper considers the problem of an automatic type analysis in the context of the object-oriented Petri nets (OOPNs) associated with the PNtalk language. We describe the skeleton of one of the possible approaches to deriving the types of tokens that may get into particular places of OOPN-based models. We briefly discuss advantages and disadvantages and also possible alternatives of the described approach.

Klíčová slova

Object-oriented Petri nets, Type analysis, Formal techniques

URL
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
ISBN
80-85988-51-8
Vydavatel
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Hradec nad Moravicí, Czech Republic",
  isbn="80-85988-51-8",
  url="http://www.fit.vutbr.cz/~krena/prace/ism01.ps"
}
Projekty
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru