Result 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: Marq software s.r.o., 2001. p. 173-180. ISBN: 80-85988-51-8.
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., FEEC (FEEC)
Vojnar Tomáš, prof. Ing., Ph.D., FEEC (FEEC)
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

URL
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
ISBN
80-85988-51-8
Publisher
Marq software s.r.o.
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",
  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"
}
Projects
Modelling, Verifying, and Prototyping Distributed Applications Using Petri Nets, GACR, Standardní projekty, GA102/00/1017, start: 2000-01-01, end: 2002-12-31, completed
PNtalk - tools based on object-oriented Petri nets, BUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, start: 1994-01-01, end: 2010-12-31, completed
Research groups
Petri Nets Research Group (RG PETRINET)
Departments
Faculty of Information Technology (FIT)
Back to top