Detail publikace

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

Typ

dizertace

Jazyk

angličtina

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.

Klíčová slova

Petri nets, object orientation, formal analysis and verification

Autoři

VOJNAR, T.

Vydáno

1. 1. 2001

Místo

Brno

Strany počet

148

URL

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

BibTex

@phdthesis{BUT191469,
  author="Tomáš {Vojnar}",
  title="Towards Formal Analysis and Verification over State Spaces of Object-Oriented Petri Nets",
  address="Brno",
  pages="148",
  year="2001",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/vojnar-phdthesis-2001.ps.gz"
}