@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",
}