@InCollection{Łabiak:2014,
author
=
"G.Łabiak and A.Karatkevich",
title
=
"The use of algebraic decision diagrams for algebraic analysis of n-bounded Petri Nets",
pages
=
"56--67",
year
=
"2014",
booktitle
=
"New trends in digital systems design ISBN: 9783183836109",
editor
=
"eds. A. Bukowiec, G. Borowik, M. Doligalski",
publisher
=
"VDI Verlag GmbH",
address
=
"Düsseldorf",
series
=
"Fortschritt - Berichte VDI, Nr. 836",
}