Result Details

Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets

KŘENA, B.; VOJNAR, T.; ČEŠKA, M. Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets. Brazilian Petri Net Meeting. Natal: 2002. 6 p.
Type
conference paper
Language
English
Authors
Křena Bohuslav, Ing., Ph.D., FIT (FIT)
Vojnar Tomáš, prof. Ing., Ph.D.
Češka Milan, prof. RNDr., CSc.
Abstract

The paper deals with the problem of conjunct implementation of type analyzer and state space generator in the context of the (syntactically) weakly typed object-oriented Petri nets associated with the PNtalk language. The main principles of object-oriented Petri nets, their state spaces generation, and type analysis (i.e. deriving the types of tokens that may get into particular places of PNtalk-based models) are introduced here. The paper discusses advantages and disadvantages of the conjunct tool implementation.

Keywords

Concurrent systems, Discrete-event systems, Formal methods, Object modelling techniques, Parallelism, Petri nets, System analysis.

URL
Published
2002
Pages
6
Proceedings
Brazilian Petri Net Meeting
Conference
Brazilian Petri Net Meeting
Place
Natal
BibTeX 
@inproceedings{BUT10313,
  author="Bohuslav {Křena} and Tomáš {Vojnar} and Milan {Češka}",
  title="Integrated Type Analyzer and State Space Generator of Object-Oriented Petri Nets",
  booktitle="Brazilian Petri Net Meeting",
  year="2002",
  pages="6",
  address="Natal",
  url="http://www.fit.vutbr.cz/~krena/prace/bpnm02.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)
System Modelling and Optimization Research Group (RG MODSIM)
Departments
Faculty of Information Technology (FIT)
Back to top