@InProceedings{Grobelna:2010,
author
=
"I.Grobelna and M.Grobelny and M.Adamski",
title
=
"Petri nets and activity diagrams in logic controller specification - transformation and verification",
booktitle
=
"Mixed Design of Integrated Circuits and Systems - MIXDES 2010 17th International Conference; ISBN: 9788392875635",
address
=
"Wrocław, Polska",
publisher
=
"Łódź Department of Microelectronics and Computer Science, Technical University of Łódź ",
pages
=
"607--612 [CD]",
organization
=
"Technical University of Łódź, Department",
editor
=
" ed. by A. Napieralski",
year
=
"2010",
}