Publication result detail

Type Analysis in Object-Oriented Petri Nets

KŘENA, B.; VOJNAR, T.

Original Title

Type Analysis in Object-Oriented Petri Nets

English Title

Type Analysis in Object-Oriented Petri Nets

Type

Paper in proceedings outside WoS and Scopus

Original Abstract

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.

English abstract

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.

Keywords

Object-oriented Petri nets, Type analysis, Formal techniques

Key words in English

Object-oriented Petri nets, Type analysis, Formal techniques

Authors

KŘENA, B.; VOJNAR, T.

Released

09.05.2001

Publisher

Marq software s.r.o.

Location

Hradec nad Moravicí, Czech Republic

ISBN

80-85988-51-8

Book

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

Pages from

173

Pages to

180

Pages count

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