1. van der Aalst, W.M.P., van Dongen, B.F., Günther, C.W., Rozinat, A., Verbeek, E., Weijters, T.: Prom: the process mining toolkit. In: de Medeiros, A.K.A., Weber, B. (eds.) Proceedings of the Business Process Management Demonstration Track (BPMDemos 2009), Ulm, Germany, September 8, 2009. CEUR Workshop Proceedings, vol. 489. CEUR-WS.org (2009)
2. Ahmed, A., Koutny, M., Pietkiewicz-Koutny, M.: Synthesising elementary net systems with localities. Theoret. Comput. Sci. 908, 123–140 (2022)
3. Ahmed, A., Pietkiewicz-Koutny, M.: Algorithms for the synthesis of elementary net systems with localities. In: Köhler-Bußmeier, M., Kindler, E., Rölke, H. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering, PNSE 2020, Paris, France, June 24, 2020 (due to COVID-19: virtual workshop). CEUR Workshop Proceedings, vol. 2651, pp. 86–107. CEUR-WS.org (2020)
4. Badouel, É., Bernardinello, L., Darondeau, P.: Petri Net Synthesis. Texts in Theoretical Computer Science. An EATCS Series. Springer (2015)
5. Lecture Notes in Computer Science;E Badouel,1998