Result Details

Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets

VOJNAR, T. Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets. Brno: 2001. 148 p.
Type
dissertation
Language
English
Authors
Vojnar Tomáš, prof. Ing., Ph.D., FEEC (FEEC)
Abstract

The primary goal of the thesis is to identify and solve at least some of the problems which appear when we want to use state spaces of the OOPNs associated with the PNtalk language for formal analysis or verification. Some of the considered problems are, however, related both to generating state spaces of OOPNs as well as to simulating OOPN-based models.

Keywords

Petri nets, object orientation, formal analysis and verification

URL
Published
2001
Pages
148
Place
Brno
BibTeX 
@misc{BUT191469,
  author="Tomáš {Vojnar}",
  title="Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets",
  year="2001",
  pages="148",
  address="Brno",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-phdthesis-2001.ps.gz"
}
Projects
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, Standardní projekty, GA102/01/1485, start: 2001-01-01, end: 2003-12-31, completed
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
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (RG VERIFIT)
Výzkumná skupina modelování a optimalizace (RG MODSIM)
Výzkumná skupina Petriho sítí (RG PETRINET)
Departments
Fakulta informačních technologií (FIT)
Back to top