@incollection{Zuberek12,
author = {Wlodek M. Zuberek},
title = {Timed Petri Nets in Performance Exploration of Simultaneous Multithreading},
booktitle = {Petri Nets},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Pawel Pawlewski},
chapter = {13},
doi = {10.5772/48601},
url = {https://doi.org/10.5772/48601}
}