@InProceedings{Grobelna:2014,
author
=
"I.Grobelna and M.Wiśniewska and R.Wiśniewski and M.Grobelny and P.Mróz",
title
=
"Decomposition, validation and documentation of control process specification in form of a Petri net",
booktitle
=
"7th International Conference on Human System Interactions - HSI 2014 USB proceedings; ISBN: 9781479947140",
address
=
"Lisbon, Portugalia",
publisher
=
"New York IEEE ",
pages
=
"232--237",
year
=
"2014",
}