Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz. Decomposition, validation and documentation of control process specification in form of a Petri net. In 7th International Conference on Human System Interactions, HSI 2014, Costa da Caparica, Portugal, June 16-18, 2014. pages 232-237, IEEE, 2014. [doi]
Abstract is missing.