@InCollection{Karatkevich:2014,
author
=
"A.Karatkevich and R.Wiśniewski",
title
=
"On state machine decomposition of Petri Nets",
pages
=
"288--301",
year
=
"2014",
booktitle
=
"Recent Progress in the Boolean Domain ISBN: 9781443856386",
editor
=
"ed. by B. Steinbach",
publisher
=
"Cambridge Scholars Publishing",
address
=
"Newcastle upon Tyne",
}