@InCollection{Karatkevich:2005,
author
=
"A.Karatkevich",
title
=
"Memory-saving analysis of Petri nets",
pages
=
"63--72",
year
=
"2005",
booktitle
=
"Design of embedded control systems ISBN: 0387236309",
publisher
=
"Springer",
address
=
"New York",
}