Detail výsledku

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.
Typ
dizertace
Jazyk
angličtina
Autoři
Vojnar Tomáš, prof. Ing., Ph.D., FEKT (FEKT)
Abstrakt

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.

Klíčová slova

Petri nets, object orientation, formal analysis and verification

URL
Rok
2001
Strany
148
Místo
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"
}
Projekty
Modelování, verifikace a prototypování distribuovaných aplikací s využitím Petriho sítí, GAČR, Standardní projekty, GA102/00/1017, zahájení: 2000-01-01, ukončení: 2002-12-31, ukončen
PNtalk - nástroje založené na objektově orientovaných Petriho sítích, VUT, Institucionální podpora na rozvoj výzkumné organizace, UIVT-PNtalk, zahájení: 1994-01-01, ukončení: 2010-12-31, ukončen
Prostředí pro vývoj, modelování a aplikaci heterogenních systémů, GAČR, Standardní projekty, GA102/01/1485, zahájení: 2001-01-01, ukončení: 2003-12-31, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Výzkumná skupina modelování a optimalizace (VZ MODSIM)
Výzkumná skupina Petriho sítí (VZ PETRINET)
Pracoviště
Fakulta informačních technologií (FIT)
Nahoru