@InCollection{Marranghello:2000,
author
=
"N.Marranghello and J.Mirkowski and K.Bilinski",
title
=
"Synthesis of synchronous digital systems specified by Petri nets",
pages
=
"129 --150",
year
=
"2000",
booktitle
=
"Hardware design and Petri Nets ISBN: 0792377915",
publisher
=
"Kluwer Academic Publishers",
address
=
"Boston",
}