TR04-03 (2004) – Modular Analysis of Petri Net Models

Aurora Tiplea

Thesis submitted to the “Alexandru Ioan Cuza” University of Iasi, Romania,for the degree of Doctor of Philosophy in Computer Science.

Bibtex

@TechReport{phd_thesis,
author = "Aurora {c T}iplea",
title = "{M}odular {A}nalysis of {P}etri {N}et {M}odels",
institution = "``Al.I.Cuza'' University of Ia{c s}i, 
                 Faculty of Computer Science",
year = "2004",
number = "TR 04-03",
note = "URL:http://www.infoiasi.ro/~tr/tr.pl.cgi"
}