Detail publikačního výsledku

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

VOJNAR, T.

Originální název

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

Anglický název

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

Druh

Dizertace

Originální 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.

Anglický 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

Klíčová slova v angličtině

Petri nets, object orientation, formal analysis and verification

Autoři

VOJNAR, T.

Vydáno

01.01.2001

Místo

Brno

Strany počet

148

URL

http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-phdthesis-2001.ps.gz

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"
}