Decomposition, validation and documentation of control process specification in form of a Petri net

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]

Authors

Iwona Grobelna

This author has not been identified. Look up 'Iwona Grobelna' in Google

Monika Wisniewska

This author has not been identified. Look up 'Monika Wisniewska' in Google

Remigiusz Wisniewski

This author has not been identified. Look up 'Remigiusz Wisniewski' in Google

Michal Grobelny

This author has not been identified. Look up 'Michal Grobelny' in Google

Piotr Mroz

This author has not been identified. Look up 'Piotr Mroz' in Google