Publication detail

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

VOJNAR, T.

Original Title

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

Type

dissertation

Language

English

Original 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

Authors

VOJNAR, T.

Released

1. 1. 2001

Location

Brno

Pages count

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