Decomposition of Petri Net Toward Enhancement of Decision-Making in Manufacturing Systems. - Monika Wisniewska; Justyna Patalas-Maliszewska; Remigiusz Wisniewski; Marcin Topczak; M. Zhou; Z. Li; D. Konarczak (SMC, 2025)

Efficiency and Effectiveness Analysis of Invariant Coverage Verification Methods for Petri net-based Concurrent Systems. - Marcin Wojnakowski; Remigiusz Wisniewski; M. Zhou; Z. Li; Maxim Malinski; Andrzej Obuchowicz; D. Konarczak (SMC, 2025)