@InProceedings{Wiśniewski:2015,
author
=
"R.Wiśniewski and I.Grobelna and M.Grobelny and M.Wiśniewska",
title
=
"Design and verification of distributed logic controllers with application of Petri nets",
booktitle
=
"International Conference of Computational Methods in Sciences and Engineering - ICCMSE 2015; ISBN: 9780735413498",
address
=
"Athens, Grecja",
publisher
=
"[B. m.] AIP Publishing ",
volume
=
"AIP Conference Proceedings, Vol. 1702",
pages
=
"1--4",
year
=
"2015",
}