Publication Details

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.
Czech title
Typová analýza objektově orientovaných Petriho sítí
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D. (DITS)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)
URL
Keywords

Object-oriented Petri nets, Type analysis, Formal techniques

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.

Published
2001
Pages
173–180
Proceedings
Proceedings of 4th International Conference on Information System Modelling -- ISM'01
ISBN
80-85988-51-8
Place
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"
}
Back to top