Publication Details

Type Analysis in Object-Oriented Petri Nets

KŘENA Bohuslav and VOJNAR Tomáš. Type Analysis in Object-Oriented Petri Nets. In: Proceedings of 4th International Conference on Information System Modelling -- ISM'01. Hradec nad Moravicí, Czech Republic, 2001, pp. 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. (DCSE FEECS BUT)
Vojnar Tomáš, Ing., Ph.D. (DCSE FEECS BUT)
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
Conference
4th International Conference on Information System Modelling - ISM'01, Hradec nad Moravicí, Czech Republic, CZ
ISBN
80-85988-51-8
Place
Hradec nad Moravicí, Czech Republic, CZ
BibTeX 
@INPROCEEDINGS{FITPUB6048,
   author = "Bohuslav K\v{r}ena and Tom\'{a}\v{s} Vojnar",
   title = "Type Analysis in Object-Oriented Petri Nets",
   pages = "173--180",
   booktitle = "Proceedings of 4th International Conference on Information System Modelling -- ISM'01",
   year = 2001,
   location = "Hradec nad Moravic\'{i}, Czech Republic, CZ",
   ISBN = "80-85988-51-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/6048"
}
Back to top