Detail publikačního výsledku

Type Analysis in Object-Oriented Petri Nets

KŘENA, B.; VOJNAR, T.

Originální název

Type Analysis in Object-Oriented Petri Nets

Anglický název

Type Analysis in Object-Oriented Petri Nets

Druh

Stať ve sborníku mimo WoS a Scopus

Originální 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.

Anglický 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

Klíčová slova v angličtině

Object-oriented Petri nets, Type analysis, Formal techniques

Autoři

KŘENA, B.; VOJNAR, T.

Vydáno

09.05.2001

Nakladatel

Marq software s.r.o.

Místo

Hradec nad Moravicí, Czech Republic

ISBN

80-85988-51-8

Kniha

Proceedings of 4th International Conference on Information System Modelling -- ISM'01

Strany od

173

Strany do

180

Strany počet

8

URL

http://www.fit.vutbr.cz/~krena/prace/ism01.ps

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