@InCollection{Tkacz:2016,
author
=
"J.Tkacz",
title
=
"Symbolic coloring of Petri Nets",
pages
=
"67--76",
year
=
"2016",
booktitle
=
"Design of reconfigurable logic controllers ISBN: 9783319267234",
editor
=
"eds. A. Karatkevich, A. Bukowiec, M. Doligalski, J. Tkacz",
publisher
=
"Springer International Publishing Switzerland",
address
=
"Cham Heidelberg",
series
=
"Studies in Systems, Decision and Control, 45",
}