Concepedia

Michał Grobelny

MG

Statistics

Publications

4

Citations

152

H-Index

4

Active since

2010

Affiliations

University of Zielona Góra(Current)

Michał Grobelny is an author at University of Zielona Góra specializing in formal verification, formal methods, and systems engineering.

Top concepts

EngineeringFormal MethodsFormal VerificationSystems EngineeringDesignVerificationProcess ControlSoftware DesignSystem SoftwareComputer Science

Publications per year

2010–2016

4

Publications

4

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

Iwona Grobelna, Remigiusz Wiśniewski, Michał Grobelny et al. · IEEE Transactions on Systems Man and Cybernetics Systems · 2016 · 81 citations

Petri Net, Engineering, Industrial Engineering +26

Petri nets and Activity Diagrams in logic controller specification - transformation and verification

Iwona Grobelna, Michał Grobelny, Marian Adamski · International Conference Mixed Design of Integrated Circuits and Systems · 2010 · 27 citations

Petri Net, Engineering, Verification +23

Hardware Behavioural Modelling, Verification and Synthesis with UML 2.x Activity Diagrams

Michał Grobelny, Iwona Grobelna, Marian Adamski · IFAC Proceedings Volumes · 2012 · 24 citations

Hardware Modeling, Engineering, Hardware Verification Language +16

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

Iwona Grobelna, M. Wiśniewska, Remigiusz Wiśniewski et al. · 2014 · 20 citations

Petri Net, Engineering, Industrial Engineering +20

1–4 of 4