Application of an Exact Transversal Hypergraph in Selection of SM-Components. - Lukasz Stefanowicz; Marian Adamski; Remigiusz Wisniewski (DoCEIS, 2013)

Translation UML diagrams into Verilog. - Grzegorz Bazydlo; Marian Adamski; Lukasz Stefanowicz (HSI, 2014)

Aspects of selection of SM Components with the application of the theory of hypergraphs. - Lukasz Stefanowicz; Marian Adamski (HSI, 2014)

Application of Hypergraphs to SMCs Selection. - Lukasz Stefanowicz; Marian Adamski; Remigiusz Wisniewski; Jakub Lipinski (DoCEIS, 2014)

Minimization of SM-Covers of Petri Net Specifications of Control Systems. - Andrei Karatkevich; Lukasz Stefanowicz (MIXDES, 2019)

Decomposition of distributed edge systems based on the Petri nets and linear algebra technique. - Remigiusz Wisniewski; Andrei Karatkevich; Lukasz Stefanowicz; Marcin Wojnakowski (J. Syst. Archit., 2019)