Michal Grobelny

According to our database, Michal Grobelny authored at least 5 papers between 2012 and 2017.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2017

Design and Verification of Real-Life Processes With Application of Petri Nets.

Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska

IEEE Trans. Syst. Man Cybern. Syst., 2017

2015

Logic controller design system supporting UML activity diagrams.

Michal Grobelny, Iwona Grobelna

Proceedings of the 22nd International Conference Mixed Design of Integrated Circuits & Systems, 2015

2014

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

Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz

Proceedings of the 7th International Conference on Human System Interactions, 2014

Model Checking of UML Activity Diagrams in Logic Controllers Design.

Iwona Grobelna, Michal Grobelny, Marian Adamski

Proceedings of the Ninth International Conference on Dependability and Complex Systems DepCoS-RELCOMEX. June 30, 2014

2012

Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams.

Michal Grobelny, Iwona Grobelna, Marian Adamski

Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012