Reduction of the memory size in the microprogrammed controllers. - Monika Wisniewska; Remigiusz Wisniewski; Marek Wegrzyn; Norian Marranghello (EWDTS, 2011)

Design of microprogrammed controllers with address converter implemented on programmable systems with embedded memories. - Remigiusz Wisniewski; Monika Wisniewska; Marek Wegrzyn; Norian Marranghello (EWDTS, 2011)

Decomposition, validation and documentation of control process specification in form of a Petri net. - Iwona Grobelna; Monika Wisniewska; Remigiusz Wisniewski; Michal Grobelny; Piotr Mroz (HSI, 2014)

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)

C-Exact Hypergraphs in Concurrency and Sequentiality Analyses of Cyber-Physical Systems Specified by Safe Petri Nets. - Remigiusz Wisniewski; Monika Wisniewska; Marcin Jarnut (IEEE Access, 2019)