Michal Grobelny

Publication Activity (10 Years)

Years Active: 2012-2017
Publications (10 Years): 2

Top Topics

Uml Activity Diagrams

Top Venues

DepCoS-RELCOMEX

Publications

Iwona Grobelna, Remigiusz Wisniewski, Michal Grobelny, Monika Wisniewska
Design and Verification of Real-Life Processes With Application of Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 47 (11) (2017)
Michal Grobelny, Iwona Grobelna
Logic controller design system supporting UML activity diagrams. MIXDES (2015)
Iwona Grobelna, Monika Wisniewska, Remigiusz Wisniewski, Michal Grobelny, Piotr Mroz
Decomposition, validation and documentation of control process specification in form of a Petri net. HSI (2014)
Iwona Grobelna, Michal Grobelny, Marian Adamski
Model Checking of UML Activity Diagrams in Logic Controllers Design. DepCoS-RELCOMEX (2014)
Michal Grobelny, Iwona Grobelna, Marian Adamski
Hardware behavioural modelling, verification and synthesis with UML 2.x activity diagrams. PDeS (2012)