@article{Kozłowski:2009,
author
=
"T.Kozłowski and E.Dagless and J.Saul and M.Adamski and J.Szajna",
title
=
"Parallel controller synthesis using Petri nets",
journal
=
"IEE Proceedings - Computers and Digital Techniques",
volume
=
"Vol. 142",
number
=
"no 4",
pages
=
"263--271",
year
=
"1995",
}