Holmes: a graphical tool for development, simulation and analysis of Petri net based models of complex biological systems. - Marcin Radom; Agnieszka Rybarczyk; Bartlomiej Szawulak; Hubert Andrzejewski; Piotr Chabelski; Adam Kozak; Piotr Formanowicz (Bioinform., 2017)

Comparing Petri net-based models of biological systems using Holmes. - Bartlomiej Szawulak; Marcin Radom; Piotr Formanowicz (Bioinform., 2022)

Comparison by partition - Finding Petri nets similarity on the basis of subnets. - Bartlomiej Szawulak; Marcin Radom; Piotr Formanowicz (Comput. Biol. Medicine, 2025)