BLÁHA, Jiří. Generování sekvenčních diagramů z modelů Petriho sítí. Online, Bakalářská práce, vedoucí Radek Kočí. Brno: Vysoké učení technické v Brně. Fakulta informačních technologií. Ústav inteligentních systémů, 2023. Dostupné z: http://hdl.handle.net/11012/210391. [cit. 2025-04-11].