Efficient methods for verification and performance evaluation of concurrent systems by Petri nets

Thumbnail Image
Files
Kovalyov_Efficient_methods.pdf(5.96 MB)
Date
2002
Authors
Kovalyov, Andrei
Journal Title
Journal ISSN
Volume Title
Publisher
Abstract
Description
Keywords
Citation
URI
http://hdl.handle.net/1993/19827
Collections
FGS - Electronic Theses and Practica