@incollection{Martiník12,
author = {Ivo Martiník},
title = {Sequential Object Petri Nets and the Modeling of Multithreading Object-Oriented Programming Systems},
booktitle = {Petri Nets},
publisher = {IntechOpen},
address = {Rijeka},
year = {2012},
editor = {Pawel Pawlewski},
chapter = {9},
doi = {10.5772/48470},
url = {https://doi.org/10.5772/48470}
}