@InCollection{Miczulski:2005,
author
=
"P.Miczulski",
title
=
"Calculating state spaces of hierarchical Petri nets using BDD",
pages
=
"85--94",
year
=
"2005",
booktitle
=
"Design of embedded control systems ISBN: 0387236309",
publisher
=
"Springer",
address
=
"New York",
}